![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| EssenceOfReynolds.pdf | 2016-06-29 20:37 | 167K | |
| definterps-revisted.pdf | 2011-07-10 23:03 | 45K | |
| definterps.pdf | 2011-07-10 23:03 | 154K | |
| defintho.pdf | 2006-11-13 23:19 | 154K | |
| essence.ps.gz | 1999-03-03 16:02 | 67K | |
| histcont.pdf | 2015-08-17 17:20 | 171K | |
| histcont.ps.gz | 2000-07-07 17:43 | 43K | |
| polyintro.ps.gz | 2009-10-29 21:11 | 35K | |
| polymorphic-lambda-i..> | 2016-01-01 13:00 | 134K | |
| procedural-data-stru..> | 2019-07-19 16:46 | 4.6M | |
| theory-practice-popl..> | 2015-03-17 16:34 | 3.1M | |
| three-approaches-typ..> | 2024-02-21 16:17 | 2.0M | |
| type-structure.pdf | 2009-04-22 13:10 | 572K | |
| type-structure_ocr.pdf | 2021-08-17 14:18 | 667K | |
| types-abstraction-pa..> | 2016-01-01 13:04 | 674K | |
| typesabpara.djvu | 2006-11-12 21:18 | 358K | |
| typesabpara.pdf | 2006-11-12 21:16 | 674K | |