Books by Philip Wadler

📖

Programming Language Foundations in Agda Agda Functional programming