Matthew Flatt

• How to Design Programs, Second Edition
• Practical Aspects of Declarative Languages
• How to Design Programs: An Introduction to Programming and Computing (MIT Press)