Reading material
Pages 72-73 (Section 7)
Products and Patterns
Clausal Function Definitions
Recursive Functions
Type Inference
Additional material
Types, Values, and Variables (Chapter 4 up to Section 4.2.1 and Section 4.3 up to Section 4.3.1)
Varia.sml