![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| anormal-retro.pdf | 2006-11-16 17:43 | 19K | |
| anormal.djvu | 2006-11-16 17:45 | 435K | |
| blame2021.pdf | 2021-08-24 15:35 | 1.1M | |
| catching-bugs.pdf | 2019-04-25 17:13 | 206K | |
| cesk.djvu | 2011-06-30 14:01 | 1.0M | |
| cesk.pdf | 2011-06-30 13:58 | 2.9M | |
| dissertation-felleis..> | 2016-07-30 10:12 | 6.2M | |
| dissertation-felleis..> | 2016-07-30 10:12 | 11M | |
| drscheme.pdf | 2009-02-06 18:38 | 306K | |
| expressive-as-publis..> | 2021-06-21 15:43 | 4.2M | |
| expressiveness.pdf | 2009-03-14 14:23 | 429K | |
| functional-io.pdf | 2014-02-04 12:47 | 397K | |
| hygienic-expanson.pdf | 2015-11-23 13:37 | 744K | |
| ic94-wf.ps.gz | 1995-05-04 11:55 | 134K | |
| icfp98-ff.pdf | 2004-10-18 14:51 | 266K | |
| manifesto.pdf | 2015-03-27 16:58 | 9.6M | |
| old-cesk.djvu | 2011-06-30 14:01 | 909K | |
| phd.djvu | 2009-04-11 13:53 | 6.2M | |
| pl+lambda-calculi.pdf | 2019-11-12 14:48 | 1.0M | |
| plilp97-fffkf.ps.gz | 2014-01-20 10:37 | 107K | |
| prompts.djvu | 2006-09-20 19:04 | 646K | |
| prompts.pdf | 2006-09-20 18:54 | 1.1M | |
| sequential-control.djvu | 2011-05-29 16:09 | 2.9M | |
| sequential-control.pdf | 2011-05-29 16:07 | 3.7M | |
| si-curriculum.pdf | 2009-02-06 18:35 | 156K | |
| sigplan.pdf | 2006-11-10 21:12 | 61K | |
| syntactic-control.pdf | 2009-03-14 14:30 | 724K | |
| teach-scheme-x.pdf | 2009-02-06 18:36 | 1.7M | |
| tr97-292.ps.gz | 1997-10-14 16:06 | 181K | |
| units.ps | 1998-03-28 09:16 | 246K | |