![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AuthorResponseForm.html | 31-Jan-2008 22:01 | 20K | |
| ICFP-response.txt | 31-Jan-2008 22:01 | 2.4K | |
| anon.bib | 31-Jan-2008 22:01 | 442 | |
| buildsubmission.sh | 31-Jan-2008 22:01 | 252 | |
| copyright_form.html | 31-Jan-2008 22:01 | 17K | |
| env.sh | 31-Jan-2008 22:01 | 207 | |
| icfp75-sozeau.pdf | 31-Jan-2008 22:01 | 274K | |
| main.tex | 31-Jan-2008 22:01 | 58K | |
| makebib.sh | 31-Jan-2008 22:01 | 77 | |
| replace.mll | 31-Jan-2008 22:01 | 297 | |
| sigplanconfirm.html | 31-Jan-2008 22:01 | 5.1K | |
| slides-ICFP'07/ | 23-Feb-2009 09:34 | - | |
| submitted.pdf | 31-Jan-2008 22:01 | 253K | |
| typemacros.tex | 31-Jan-2008 22:01 | 2.5K | |
| typing-macros.tex | 31-Jan-2008 22:01 | 7.9K | |