FUNCTIONAL PROGRAMMING:
FOUNDATIONS AND APPLICATIONS
Lectures
Why Functional Programming?
Proof-theoretical Foundations
Standard ML
An Introduction to the Coq Proof Assistant
Virtuous Circles