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