Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
2017-08-Marie-FAlgebras.pdf | 2017-08-02 01:50 | 258K | ||
2017-08-CastroLopo-Linear.pdf | 2017-08-02 01:51 | 95K | ||
2017-05-Tibell-Unboxing.pdf | 2017-08-06 05:37 | 313K | ||
2017-05-Everest-Arrays.pdf | 2017-08-06 05:37 | 506K | ||
2017-05-DependentNotVector.pdf | 2017-10-05 03:17 | 2.5M | ||
2017-04-Seefried-Merkle.pdf | 2017-08-06 05:25 | 1.1M | ||
2017-04-McDonell-GHCi.pdf | 2017-08-06 05:24 | 363K | ||
2017-04-McDonell-GHCi-demos.zip | 2017-08-06 05:24 | 26K | ||
2017-04-Berthold-DustyDecks.pdf | 2017-08-06 05:24 | 4.0M | ||
2017-03-Ma-Refinement.pdf | 2017-08-15 02:08 | 1.4M | ||
2017-03-Jay-Intensional.pdf | 2017-04-20 04:43 | 95K | ||