Page 1: Built-in type constructors and patterns.Page 2: An informal matching algorithm, with exercises.Page 3: Using patterns in argument lists. Tail-recursion.Page 4: C++ templates vs. ML polymorphismPage 5: More on the weirdness of C++ templates
ML code examples/solutions and C++ code example
In-class slides: PowerPoint