The Little Schemer
The Seasoned Schemer
A Little Java
The Little MLer
How to Design Programs
Semantics Engineering
The Reasoned Schemer
The Little Prover
The Little Typer

The Little MLer


The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). Enjoy!

MIT PressAmazon.com

last updated on Tue May 1 16:46:14 EDT 2018generated with Racket