Type Theory and Functional Programming By anders pearson 04 Sep 2002 How to Design Programs By anders pearson 04 Sep 2002