Verified Functional Programming in Agda (ACM Books) by

Verified Functional Programming in Agda - Paperback, by Stump Aaron - Very Good

Functional Programming in Scala by Paul Chiusano (English) Paperback Book

Verified Functional Programming in Agda by Aaron Stump: Used

Verified Functional Programming In Agda

Verified Functional Programming in Agda (ACM Books) by

Introduction to Functional Programming Through Lambda Calculus, Paperback by ...

Object-oriented Programming in - Paperback, by Sanders Kathryn E.; - Acceptable