![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CMU-CS-10-140.pdf | 2011-04-07 15:48 | 210K | |
| hom-popl.ps | 2003-04-11 14:49 | 253K | |
| hom-tr.ps | 2003-01-31 16:39 | 844K | |
| lfp-signatures.pdf | 2010-06-30 12:53 | 199K | |
| lpf-signatures.djvu | 2010-06-30 12:57 | 480K | |
| modular-type-classes..> | 2010-06-30 12:16 | 569K | |
| modules.html | 2003-04-17 15:27 | 26K | |
| popl94.pdf | 2016-09-14 16:59 | 323K | |
| popl94.ps | 2004-06-22 15:42 | 221K | |
| recursive.ps.gz | 2006-01-04 19:20 | 71K | |
| sepcomp.pdf | 2006-01-28 23:02 | 378K | |
| tic98.ps | 1999-04-12 00:24 | 242K | |
| ttisml.pdf | 2016-02-01 16:06 | 420K | |
| ttisml.ps | 2001-09-25 11:58 | 380K | |
| typing-first-class-k..> | 2019-08-08 18:41 | 1.0M | |