Copyright Form

Title of Work: Program-ing Finger Trees in Coq

Author(s): Matthieu Sozeau

Paper No. (if known): icfp075

Publication or Conference Name and Date:      sigplan   

TRANSFER OF COPYRIGHT AGREEMENT

Copyright to the above work (including without limitation, the right to publish the work in whole or in part in any and all forms of media, now or hereafter known) is hereby transferred to the ACM (*for Government work, to the extent transferable -see Part B below) effective as of the date of this agreement, on the understanding that the work has been accepted for publication by ACM. (Please note the joint author qualification under ACM Copyright Procedures elsewhere on this form. For the complete ACM Copyright Policy, see http://www.acm.org/pubs/copyright_policy.html)

However, each of the Employer/Author(s) retains the following rights:
  1. All other proprietary rights to the work such as patent
  2. The right to reuse any portion of the work, without fee, in future works of the Employer/Author's own,** including books, lectures and presentations in all media, provided that the ACM citation and notice of the Copyright are included (See Part A below).
  3. The right to revise the work. (See §2.4 Definitive Versions and Revisions)

  4. The right to post author-prepared versions of the work covered by ACM copyright in a personal collection on their own Home Page and on a publicly accessible server of their employer. Such posting is limited to noncommercial access and personal use by others, and must include this notice both embedded within the full text file and in the accompanying citation display as well, i.e.:


    		 "© ACM, (YEAR). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, {VOL#, ISS#, (DATE)} http://doi.acm.org/10.1145/nnnnnn.nnnnnn"

    (Article DOIs are on their citation pages in the ACM Digital Library.)

  5. The right of an employer who originally owned copyright to distribute definitive copies of its author-employees work within its organization. Posting these works for world access requires explicit permission from ACM.

A. ASSENT TO ASSIGNMENT

This Form must be signed by the author or, in the case of a "work made for hire," by the employer and must be received by ACM before processing of the manuscript for publication can be completed. (See Part D below)

Authors should understand that consistent with ACM's policy of encouraging dissemination of information, each work published by ACM appears with the ACM copyright and the following notice:

"Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee."

I hereby warrant that I am the sole owner (or authorized agent of the copyright owner(s)), with the exception of third party material detailed in Part C below. Permission has been obtained for third party material included in this paper.

Signature
_______________________________
Print Name
_______________________________
Title, if not Author
 		_______________________________
 		Date
 		_______________________________


B. *DECLARATION FOR GOVERNMENT WORK (See ACM Copyright Procedures below)

Note: Co-authors of government employees and subcontractors of the U.S. Government are also required to sign Part A.

A modified copyright statement regarding government use will appear on the published work.

This certifies that the above author(s) wrote the paper (a) as part of work as government employee(s) or, (b) as other government work.

Signature
_______________________________
Title, if not Author
_______________________________
Agency
 		_______________________________
 		Date
 		_______________________________


C. Third-Party Material (See Policy, §2.1 Requirement for Copyright)

This copyright transfer applies only to the work as a whole, not to any embedded objects owned by third parties. An author who embeds an object, such as an art image that is copyrighted by a third party, must obtain that party's permission to include the object, with the understanding that the entire work may be distributed as a unit in any medium. The requirement to obtain third-party permission does not apply if the author embeds only a link to the copyright holder's definitive version of the object.

Third-party permission must be clearly stated near the object(s) or in the text narrative. Indicate below any third-party material included in this submission. Please be specific, i.e., type of material: figure, table, photo, music, video or other image, and note whether permission is approved (Y/N) and forwarded to ACM with your submission. (Use a separate sheet if additional space is required.)


 ACM reference

Third-party reference
Approved (Y/N)
Date

1.
 		_______________________________
 		_______________________________
 		______________
 		______________

2.
 		_______________________________
 		_______________________________
 		______________
 		______________

3.
 		_______________________________
 		_______________________________
 		______________
 		______________


D. WHERE TO RETURN THIS FORM

Please post or fax this completed and signed form to: Sheridan Printing
Att'n: Lisa M. Tolles (Proceedings Coordinator)
1425 Third Avenue
Alpha, NJ 08865 (USA)

Fax Nos: 1-908-213-3285, 1-908-454-0179, or 1-908-454-2554

Or email a scanned copy of the signed form to: copyrightform@sheridanprinting.com and kindly allow a few days for the forms to be checked and processed.

Revised 4/20/07


TO: Authors Submitting Papers for Publication by ACM
FROM: ACM Director of Publications
SUBJECT: ACM Copyright Procedures

Thank you for submitting a paper for publication by ACM, Inc. ACM's publications are read throughout the world and we must manage requests for reprinting, republishing, redistributing, digitizing, posting to servers, translating, anthologizing, and other actions. It is the policy of ACM to own the copyright on its technical publications to protect the interests of ACM, its authors and their employers, and at the same time to facilitate the appropriate reuse of this material by others.

United States Copyright Law requires that the transfer of copyright of each contribution from the author to ACM be confirmed in writing. (See ACM Copyright Policy, §2.1 and §2.2) It is necessary that authors sign either Part A or Part B of the ACM Copyright Form and return it with the manuscript to the publication's editor at the address on the Form, unless otherwise noted, as a condition of publication.

If you are employed and prepared your paper as part of your job, the rights to your paper may initially rest with your employer. In that case, when you sign the ACM Copyright Transfer Form, we assume that you are authorized to do so by your employer. If not, the Form should be signed by an authorized person.

For jointly authored papers, an original signature is required from one (assumed senior) author only. However, we assume that all authors have been advised and have consented to the terms of this Form and this single author acts as duly authorized agent of the others.

*Government employees who prepared the work as part of their job, and whose work is not subject to copyright, are not required to sign Part A, but all co-authors outside the Government are so required. Use Part B of the Form instead of Part A only if any or all authors are Government employees, or the work was performed exclusively for a Government agency.

In the case of a Work performed under a Government contract or grant, ACM recognizes that the Government has royalty-free permission to reproduce all or portions of the Work, and to authorize others to do so, for official Government purposes only, if the contract/grant so requires. Authors employed by a civilian agency working under Government contract are required to sign in both Parts A and B. (See Part B above.)

ACM authors have all the rights historically enjoyed by scientific authors, including the right to present orally the submitted (or similar) material in any form or media and the right to republish in works published by or for the employer for the employer's internal business purposes, with notice and credit to ACM. They retain all proprietary rights other than copyright. (See ACM Copyright Policy, §2.4, §2.5 and the Permissions Policy, §3).

ACM Authors may post works on public repositories before acceptance but must incorporate the ACM copyright notice upon transfer of copyright. After acceptance, authors may post the work on public repositories only with the explicit permission of ACM.

Re-use of third-party material contained in ACM copyrighted works always requires the consent of the copyright holder, as ACM's copyright does not cover third-party material. (See Part C above.)

Note: **Requests made on behalf of others, i.e., for contributions to the work of other authors or other editors, may require payment of the fee.

Although it is not part of ACM's policy to grant authors or their organizations the sole right to approve requests for republishing by third parties, ACM seeks the approval of its authors, for jointly authored papers the first-named (assumed senior) author only, in weighing such requests, whenever possible. This is done as a matter of professional courtesy.

Revised 6/05