![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| coherence.dvi | 2006-10-20 15:01 | 82K | |
| composing-monads.pdf | 2012-08-24 14:31 | 263K | |
| constructor-classes.pdf | 2023-04-09 10:02 | 1.9M | |
| fp-ovl-hop.ps.gz | 2001-04-03 09:36 | 100K | |
| fpca93.dvi | 1994-10-27 05:48 | 83K | |
| fpca93.pdf | 2012-09-04 14:04 | 169K | |
| fundeps.pdf | 2003-10-07 14:10 | 182K | |
| fundeps.ps | 2003-10-10 11:55 | 738K | |
| pldi93.ps | 2003-10-10 11:58 | 177K | |
| popl97-fcp.dvi | 1997-01-12 10:59 | 93K | |
| rev-qual.dvi | 2006-10-20 14:59 | 89K | |
| springschool95.dvi | 1995-09-18 06:30 | 115K | |
| springschool95.ps.gz | 2001-04-03 09:35 | 76K | |
| thih.pdf | 2017-09-06 17:03 | 292K | |
| thih.ps.gz | 2003-01-24 18:08 | 119K | |