Page 1: User-defined datatypes, ML modulesPage 2: Concepts of module systems, more on ML modulesPage 3: Exercises with tree datatypePage 4: Representing ML patterns and expressions with a trees data type; presentation of ML pattern-matching algorithm.
Code examples and solutions to exercises