Copyright ©1998-2010 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Type Theory and Functional Programming
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
from Addison-Wesley (August 1, 1991)
9780201416671 | details & prices | 6.25 × 9.50 × 1.00 in. | 1.55 lbs | List price $40.85
About: This book explores the role of Martin-Lof s constructive type theory in computer programming.
About: This book explores the role of Martin-Lof s constructive type theory in computer programming.