| |
| Paper: |
|
Program-ing Finger Trees in Coq
|
|
| |
|
| |
| Submission: |
| Paper Number: | icfp075 |
| File Name |
File Size |
| icfp75-sozeau.tex
icfp75-sozeau.pdf
icfp75-sozeau.ps
|
129.66 KB
280.53 KB
352.43 KB
|
|
|
| |
|
| |
|
Copyright:
|
Use the following link to generate your customized copyright form.
The form will open in a new window.
Once the form opens up:
- Print it
- Sign it
- Fax it to 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 and submissions to be checked and processed.
|
| generate copyright form |
|
|
| |
|
| |
|
| |
Please Note: This Confirmation has been emailed to you. |
| |
|
