Resources

Textbooks and Reference

• Types and Programming Languages. Benjamin Pierce. MIT Press. 2002.
• Software Foundations. Benjamin Pierce, &c. Book Draft.
• Certified Programming with Dependent Types. Adam Chlipala. Book Draft.

Software

• OCaml: a type-safe functional language