%0 Book
%1 thom:ttfp
%A Thompson, Simon
%D 1991
%I Addison-Wesley
%K functional type programming theory
%T Type Theory and Functional Programming
%U http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
%@ "0-201-41667-0"
@book{thom:ttfp,
added-at = {2006-07-21T16:19:58.000+0200},
author = {Thompson, Simon},
biburl = {https://www.bibsonomy.org/bibtex/20432ee6734ef37edca6d0422013b90c3/mobileink},
interhash = {15b998402cc5b1c3bf7e9b47d740533d},
intrahash = {0432ee6734ef37edca6d0422013b90c3},
isbn = {"0-201-41667-0"},
keywords = {functional type programming theory},
publisher = {Addison-Wesley},
timestamp = {2006-07-21T16:19:58.000+0200},
title = {Type Theory and Functional Programming},
url = {http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/},
year = 1991
}