Type Theory And Functional Programming
Type Theory And Functional ProgrammingType Theory and Functional Programming by SimonThompson?. Now OutOfPrint? and available online at http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
CategoryTypeTheory CategoryBook CategoryOnlineBook CategoryFunctionalProgramming
EditText of this page
(last edited July 17, 2014)
or FindPage with title or text search