![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| f-ing-tldi.pdf | 2013-06-09 17:59 | 318K | |
| mixins-icfp08.pdf | 2014-07-01 13:05 | 261K | |
| tshom-popl.pdf | 2016-06-17 14:30 | 257K | |
| tshom-tr.pdf | 2003-02-05 12:40 | 379K | |
| tshom-tr.ps | 2003-02-05 12:40 | 844K | |
| type-classes.pdf | 2006-05-04 16:22 | 295K | |