Recursion schemes Sample Clauses

Recursion schemes. The function insertion-sort is defined in terms of foldr , the catamorphism of the list data type. An intriguing question is whether we can also attach a contract to foldr itself? → → → → → foldr : (α β β) β [α] β foldr f e [ ] = e d d d d d foldr f e (a :: as) = f a (foldr f e as) The application to sorting gives (true ord
AutoNDA by SimpleDocs

Related to Recursion schemes

  • Mail Order Catalog Warnings In the event that, the Settling Entity prints new catalogs and sells units of the Products via mail order through such catalogs to California consumers or through its customers, the Settling Entity shall provide a warning for each unit of such Product both on the label in accordance with subsection 2.4 above, and in the catalog in a manner that clearly associates the warning with the specific Product being purchased. Any warning provided in a mail order catalog shall be in the same type size or larger than other consumer information conveyed for such Product within the catalog and shall be located on the same display page of the item. The catalog warning may use the Short-Form Warning content described in subsection 2.3(b) if the language provided on the Product label also uses the Short-Form Warning.

  • Industrial Accident Leave 5.8.1 Unit Members will be entitled to industrial accident leave according to the provision in Education Code Section 87787 for personal injury which has qualified for Worker's Compensation under the provisions of the State Compensation Insurance Fund.

  • Influenza Vaccination The parties agree that influenza vaccinations may be beneficial for patients and employees. Upon a recommendation pertaining to a facility or a specifically designated area(s) thereof from the Medical Officer of Health or in compliance with applicable provincial legislation, the following rules will apply:

  • Safety Orientation All employees shall be certified in Safety Orientation. Safety Orientation shall consist of three parts: PART 1 - the CODC Interactive Rights and Responsibilities course; PART 2 - the XXXX course or equivalent, and PART 3 - Employer or Owner Project Specific Training. It is the responsibility of each employee to hold current certification and maintain certification in part 1 and Part 2. The Employer or Owner shall provide to each Employee before commencing work with PART 3 - Employer or Owner Project Specific Training. Each Employee shall be on the payroll and paid while receiving PART 3 training. As a condition of employment it is the sole responsibility of each and every employee to obtain, hold and maintain all current certification(s) in any and all legislated safety training requirements (i.e. WHMIS, Fall Arrest, etc.) that are trade specific. Supporting documentation of all legislated training must be provided by the employee to the Union prior to dispatch and to the employer upon hire and may be further requested by the employer at any time during the duration of their employment. Prior to the expiration of any certification, the Employer will notify the Employee of the pending expiration and give the Employee reasonable time to renew their certification. Further, prior to arriving at site, employees shall hold current qualification(s) for the specific tasks and equipment identified in the dispatch request. If the employee has to be trained after dispatch, all costs borne by the Employer shall be reimbursed by the Training Fund. The CODC Harassment Policy and Procedures, including the provisions regarding General Harassment and as amended from time to time shall be the minimum standard of this Agreement.

  • New Teacher Orientation The Association shall have the opportunity to participate in the opening in-service day including speakers for the sole purpose of greeting new faculty members and informing them of the opportunities available to them through joining their professional association.

  • Influenza Vaccine Upon recommendation of the Medical Officer of Health, all employees shall be required, on an annual basis to be vaccinated and or to take antiviral medication for influenza. If the costs of such medication are not covered by some other sources, the Employer will pay the cost for such medication. If the employee fails to take the required medication, she may be placed on an unpaid leave of absence during any influenza outbreak in the home until such time as the employee has been cleared by the public health or the Employer to return to the work environment. The only exception to this would be employees for whom taking the medication will result in the employee being physically ill to the extent that she cannot attend work. Upon written direction from the employee’s physician of such medical condition in consultation with the Employer’s physician, (if requested), the employee will be permitted to access their sick bank, if any, during any outbreak period. If there is a dispute between the physicians, the employee will be placed on unpaid leave. If the employee gets sick as a reaction to the drug and applies for WSIB the Employer will not oppose the application. If an employee is pregnant and her physician believes the pregnancy could be in jeopardy as a result of the influenza inoculation and/or the antiviral medication she shall be eligible for sick leave in circumstances where she is not allowed to attend at work as a result of an outbreak. This clause shall be interpreted in a manner consistent with the Ontario Human Rights Code.

  • Drug-Free Workplace Policy Consultant shall provide a drug-free workplace by complying with all provisions set forth in City’s Council Policy 100-5, attached hereto as Exhibit “D” and incorporated herein by reference. Consultant’s failure to conform to the requirements set forth in Council Policy 100-5 shall constitute a material breach of this Agreement and shall be cause for immediate termination of this Agreement by City.

  • Drug-Free Workplace Contractor represents and warrants that it shall comply with the applicable provisions of the Drug-Free Work Place Act of 1988 (41 U.S.C. §701 et seq.) and maintain a drug-free work environment.

  • New Member Orientation The Employer will notify the Union of any newly represented temporary employees. The Union will be given the opportunity to have a Union representative speak with the newly represented temporary employees for not more than thirty (30) minutes to provide information about the Union and this Agreement.

  • Drug Free Work Place Grantee shall establish and maintain a drug-free work place policy.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!