![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01-intro.pdf | 2012-09-17 13:05 | 720K | |
| 02-intro-ocaml.pdf | 2012-09-17 13:42 | 1.4M | |
| 02b-let-tuples.pdf | 2012-09-22 14:50 | 1.6M | |
| 02c-unit-option.pdf | 2012-09-19 10:05 | 875K | |
| 03-recursion.pdf | 2012-09-24 13:10 | 1.1M | |
| 04-poly-ho.pdf | 2012-09-26 13:30 | 2.6M | |
| 04b-lists-and-pipe.pdf | 2012-10-01 19:45 | 2.3M | |
| 05-datatypes.pdf | 2012-10-01 19:46 | 3.4M | |
| 06-evaluation-model.pdf | 2012-10-03 16:32 | 2.0M | |
| 10-space-model.pdf | 2012-10-21 18:18 | 4.9M | |
| 11-more-cps.pdf | 2012-10-22 14:17 | 2.3M | |
| 12-modules.pdf | 2012-10-22 13:34 | 3.4M | |
| 13-more-modules.pdf | 2012-11-05 17:30 | 6.6M | |
| 14-refs.pdf | 2012-11-12 13:58 | 2.8M | |
| 15-parallel-intro.pdf | 2012-11-12 13:58 | 1.3M | |
| 16-threads.pdf | 2012-11-18 18:40 | 4.3M | |
| 17-locks.pdf | 2012-11-19 13:24 | 3.3M | |
| 18-mapreduce-rabkin.pdf | 2012-12-03 17:28 | 1.8M | |
| 22-monads-stm.pdf | 2012-12-12 15:48 | 4.0M | |
| asynch-and-rpc.pdf | 2012-11-23 11:29 | 108K | |
| code/ | 2022-06-21 16:41 | - | |
| modular-reasoning.pdf | 2012-11-08 11:13 | 114K | |