![[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 | - | ||
| 2017-04-Berthold-DustyDecks.pdf | 2017-08-06 05:24 | 4.0M | |
| 2017-05-DependentNotVector.pdf | 2017-10-05 03:17 | 2.5M | |
| 2017-03-Ma-Refinement.pdf | 2017-08-15 02:08 | 1.4M | |
| 2017-04-Seefried-Merkle.pdf | 2017-08-06 05:25 | 1.1M | |
| 2017-05-Everest-Arrays.pdf | 2017-08-06 05:37 | 506K | |
| 2017-04-McDonell-GHCi.pdf | 2017-08-06 05:24 | 363K | |
| 2017-05-Tibell-Unboxing.pdf | 2017-08-06 05:37 | 313K | |
| 2017-08-Marie-FAlgebras.pdf | 2017-08-02 01:50 | 258K | |
| 2017-03-Jay-Intensional.pdf | 2017-04-20 04:43 | 95K | |
| 2017-08-CastroLopo-Linear.pdf | 2017-08-02 01:51 | 95K | |
| 2017-04-McDonell-GHCi-demos.zip | 2017-08-06 05:24 | 26K | |