| PLT |
| NU PLT |
| NU PRL |
| Books |
| HtDP |
| HtDP + |
| TeachScheme! |
| Research |
| Papers |
| Essays |
| Presentations |
| JFP Edu Pearls |
| Teaching |
| Coordinates |
| Miscellaneous |
| Resources |
| Family |
| Home |
Resources
 | Strunk and White The Elements of Style |
 | Dorai Sitaram Teach Yourself Scheme in Fixnum Days |
 | Abelson and Sussman, with Sussman Structure and Interpretation of Computer Programs |
 | Barendregt The Lambda Calculus |
 | Constable, et alii Implementing Mathematics with the Nuprl Proof Development System |
 | Robert Harper Programming in Standard ML (PDF) |