| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 02-inductive.pdf | 2002-08-30 10:22 | 110K | ||
| 03-abssyn.pdf | 2002-09-05 13:16 | 119K | ||
| 04-semantics.pdf | 2002-09-07 12:23 | 118K | ||
| 05-functional.pdf | 2002-09-12 10:39 | 116K | ||
| 06-safety.pdf | 2002-09-14 09:39 | 128K | ||
| 07-aggregate.pdf | 2002-09-17 19:22 | 89K | ||
| 08-absmach.pdf | 2002-09-22 09:10 | 116K | ||
| 09-exceptions.pdf | 2002-09-26 13:00 | 88K | ||
| 10-continuations.pdf | 2002-09-27 20:34 | 83K | ||
| 11-polymorphism.pdf | 2002-10-02 09:29 | 103K | ||
| 12-abstraction.pdf | 2002-10-13 20:44 | 91K | ||
| 13-rectypes.pdf | 2002-10-14 21:14 | 94K | ||
| 14-mutable.pdf | 2002-10-18 11:14 | 93K | ||
| 15-monads.pdf | 2002-10-18 11:17 | 109K | ||
| 16-subtyping.pdf | 2002-10-31 07:43 | 89K | ||
| 17-bidirectional.pdf | 2002-11-22 11:43 | 97K | ||
| 18-records.pdf | 2002-11-22 11:43 | 93K | ||
| 19-objects.pdf | 2002-11-22 11:44 | 112K | ||
| 20-dynamic.pdf | 2002-11-22 11:44 | 101K | ||
| 21-futures.pdf | 2002-11-22 11:44 | 82K | ||
| 22-equiv.pdf | 2002-11-22 11:44 | 114K | ||
| 23-concur.pdf | 2002-11-22 11:44 | 86K | ||
| 24-picalc.pdf | 2002-11-22 11:44 | 117K | ||
| 25-cml.pdf | 2002-11-24 09:16 | 99K | ||
| 26-environments.pdf | 2002-12-08 22:08 | 122K | ||
| 27-storage.pdf | 2002-12-11 08:01 | 114K | ||
| README | 2002-12-11 10:46 | 314 | ||
| part01.pdf | 2002-08-28 12:19 | 177K | ||
| part02.pdf | 2002-08-28 12:24 | 201K | ||
| part03.pdf | 2002-09-05 08:35 | 157K | ||
| part05.pdf | 2002-09-23 10:16 | 215K | ||
| part06.pdf | 2002-10-09 20:26 | 125K | ||
| part08.pdf | 2002-09-30 15:23 | 212K | ||
| part10.pdf | 2002-11-04 17:24 | 151K | ||
| part11.pdf | 2002-10-22 12:33 | 182K | ||
| part14.pdf | 2002-12-05 09:19 | 136K | ||
| supplementary.pdf | 2002-12-11 10:34 | 2.6M | ||