( adapted from a public UW course, license below )
Introduction to ML and Functional Programming
-
ML Overview
-
Functions and Patterns
-
Functional Programming and Language Semantics
-
Polymorphic types and HOFs
-
Lexical Scoping in ML
-
Polymorphic Type Inference
-
User-defined types