Type Theory and Functional Programming By anders pearson • 2002-09-04 Type Theory and Functional Programming entire (now out of print) book online Tags: programming functional type theory ebook