![[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 | 2018-09-18 20:55 | 159K | |
| 02-recursion.pdf | 2018-09-18 20:55 | 187K | |
| 03-types.pdf | 2018-09-18 20:55 | 150K | |
| 04-subred.pdf | 2018-09-19 20:36 | 132K | |
| 05-eval.pdf | 2018-09-20 21:11 | 150K | |
| 06-sums.pdf | 2018-09-21 15:15 | 170K | |
| 07-products.pdf | 2018-09-28 19:55 | 140K | |
| 08-recursion.pdf | 2018-09-28 19:56 | 194K | |
| 09-datarep.pdf | 2018-10-03 09:53 | 163K | |
| 10-dyntypes/ | 2018-10-11 21:38 | - | |
| 11-polymorphism.pdf | 2018-10-13 09:12 | 157K | |
| 12-parametricity.pdf | 2018-10-14 11:01 | 143K | |
| 14-abstypes.pdf | 2018-10-25 22:33 | 181K | |
| 15-kmachine/ | 2018-10-27 16:45 | - | |
| 15-kmachine.pdf | 2018-10-28 20:08 | 164K | |
| 16-store.pdf | 2018-11-03 12:38 | 158K | |
| 17-closures.pdf | 2018-11-05 10:24 | 162K | |
| 18-quotation.pdf | 2018-11-10 21:27 | 170K | |
| 19-natded.pdf | 2018-11-11 12:44 | 203K | |
| 20-seqcalc.pdf | 2018-11-14 10:01 | 177K | |
| 21-concurrency.pdf | 2018-11-18 20:23 | 184K | |
| 22-sessions.pdf | 2018-12-02 17:03 | 167K | |
| 22-sessions/ | 2018-12-02 17:05 | - | |
| Notes-15814-f18.pdf | 2018-12-07 21:02 | 3.1M | |