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