![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| abstract-dtp2013.pdf | 2023-02-05 22:32 | 120K | |
| jfp.pdf | 2023-02-05 22:32 | 579K | |
| long-talk.pdf | 2023-02-05 22:32 | 231K | |
| scherer-nepls-summer-2016.pdf | 2023-02-05 22:32 | 144K | |
| talk-dtp2013.pdf | 2023-02-05 22:32 | 168K | |
| talk-icfp.pdf | 2023-02-05 22:32 | 161K | |
| types14.abstract.pdf | 2023-02-05 22:32 | 176K | |
| types14.slides.pdf | 2023-02-05 22:32 | 169K | |
| unique_stlc_sums-implem.zip | 2023-02-05 22:32 | 15K | |
| unique_stlc_sums-long.pdf | 2023-02-05 22:32 | 403K | |