![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 1-abstract-syntax.pdf | 2024-09-09 17:15 | 209K | |
| 2-inductive-definiti..> | 2024-11-14 09:08 | 192K | |
| 3-hypothetical.pdf | 2024-09-09 17:15 | 207K | |
| 4-statics.pdf | 2024-09-09 17:15 | 172K | |
| 5-dynamics.pdf | 2024-09-09 17:15 | 203K | |
| 6-type-safety.pdf | 2024-09-09 17:15 | 169K | |
| 7-evaluation-dynamic..> | 2024-09-09 17:15 | 180K | |
| 8-functions.pdf | 2024-09-09 17:15 | 194K | |
| 9-system-T.pdf | 2024-09-09 17:15 | 202K | |
| 10-product-types.pdf | 2024-09-09 17:15 | 180K | |
| 11-sum-types.pdf | 2024-09-09 17:15 | 193K | |
| 12-props-types.pdf | 2024-10-01 15:32 | 185K | |
| 15-inductive-coinduc..> | 2024-10-17 10:17 | 195K | |
| 16-system-f.pdf | 2024-10-28 10:50 | 203K | |
| 19-pcf-recursive-fun..> | 2024-10-17 10:17 | 207K | |
| 20-recursive-types.pdf | 2024-11-14 09:08 | 213K | |
| 21-untyped-lambda-ca..> | 2024-11-14 09:08 | 191K | |
| 28-control-stacks.pdf | 2024-11-14 09:08 | 182K | |
| 29-exceptions.pdf | 2024-11-14 09:08 | 188K | |
| 48-parametricity.pdf | 2024-11-07 11:12 | 224K | |