Type Theory and Functional Programming By anders pearson • 2002-09-04 How to Design Programs By anders pearson • 2002-09-04