ENGLISH

Type theory & functional programming

By Simon Thompson

Book information

Publisher
Addison-Wesley
Year
1991
ISBN
9780201416671, 0201416670
LCC
QA76.62 .T46 1991
Open Library ID
OL1534456M
Language
english
Format
PDF
Filesize
2 MB (1714182 bytes)
Series
International Computer Science Series
Pages
378\378
Library
Ihtik
Time added
2010-05-17 00:23:50

Description

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

Similar books