Book details Programming Language Foundations in Agda by Philip Wadler Topics: Agda , Functional programming