( adapted from a public UW course, license below )

Introduction to ML and Functional Programming


  1. ML Overview
  2. Functions and Patterns
  3. Functional Programming and Language Semantics
  4. Polymorphic types and HOFs
  5. Lexical Scoping in ML
  6. Polymorphic Type Inference
  7. User-defined types