TypeTheoryAndFunctionalProgramming

Last edit July 17, 2014

Type Theory and Functional Programming by SimonThompson. Now OutOfPrint and available online at http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/