![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01-lambda.pdf | 2019-09-10 08:00 | 152K | |
| 02-recursion.pdf | 2019-09-10 08:07 | 166K | |
| 02-recursion/ | 2019-09-15 10:37 | - | |
| 03-types.pdf | 2019-09-16 20:38 | 148K | |
| 04-representation.pdf | 2019-09-21 13:51 | 176K | |
| 05-subred.pdf | 2019-09-22 11:19 | 146K | |
| 06-eval.pdf | 2019-09-26 09:43 | 164K | |
| 07-products.pdf | 2019-10-01 09:55 | 158K | |
| 08-sums.pdf | 2019-10-01 09:55 | 186K | |
| 09-rectypes.pdf | 2019-10-02 11:57 | 157K | |
| 10-elab.pdf | 2019-10-15 18:19 | 193K | |
| 11-exceptions.pdf | 2019-10-20 15:51 | 150K | |
| 12-kmachine.pdf | 2019-10-20 15:51 | 161K | |
| 12-kmachine/ | 2019-10-12 17:56 | - | |
| 13-bisimulation.pdf | 2019-10-22 08:04 | 144K | |
| 14-natded.pdf | 2019-10-29 17:27 | 210K | |
| 15-polymorphism.pdf | 2019-10-27 19:39 | 174K | |
| 16-parametricity.pdf | 2019-11-12 13:12 | 153K | |
| 17-abstypes.pdf | 2019-11-06 17:35 | 172K | |
| 18-independence.pdf | 2019-11-11 22:42 | 178K | |
| 19-concurrency.pdf | 2019-11-19 23:32 | 166K | |
| 20-negatives.pdf | 2019-11-23 20:09 | 159K | |
| 21-memsafety.pdf | 2019-12-04 10:46 | 151K | |
| 22-mutable.pdf | 2019-11-26 17:01 | 200K | |
| 23-linearity.pdf | 2019-12-06 14:05 | 163K | |
| 25-review.key.pdf | 2019-12-06 07:47 | 51K | |