Programming Language Foundations in Agda

by Philip Wadler
Agda Functional programming
Read online