thraxil.org:

Type Theory and Functional Programming

by anders pearson Wed 04 Sep 2002 11:05:00

Link: http://www.cs.ukc.ac.uk/people/staff/sjt/TTFP/

entire (now out of print) book online

TAGS: programming functional ebook type theory

formatting is with Markdown syntax. Comments are not displayed until they are approved by a moderator. Moderators will not approve unless the comment contributes value to the discussion.

namerequired
emailrequired
url
remember info?