Introduction to Functional Programming (English Edition)

Chapter 1 - Introduction
Chapter 2 - Lambda calculus
Chapter 3 - Lambda calculus as a programming language
Chapter 4 - Types
Chapter 5 - A taste of ML
Chapter 6 - Further ML
Chapter 7 - Proving programs correct
Chapter 8 - Effective ML
Chapter 9 - Examples