Type Theory and Functional Programming

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:Simon_Thompson
gptkbp:format gptkb:print
PDF (freely available online)
https://www.w3.org/2000/01/rdf-schema#label Type Theory and Functional Programming
gptkbp:ISBN 978-0201416671
gptkbp:language English
gptkbp:publicationYear 1991
gptkbp:publisher gptkb:Addison-Wesley
gptkbp:subject gptkb:logic
functional programming
gptkbp:url https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
gptkbp:bfsParent gptkb:Simon_G._Thompson
gptkbp:bfsLayer 7