Type Theory and Functional Programming

Type Theory and Functional Programming
Author :
Publisher : Addison Wesley Publishing Company
Total Pages : 396
Release :
ISBN-10 : UOM:39015021884732
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Type Theory and Functional Programming by : Simon Thompson

Download or read book Type Theory and Functional Programming written by Simon Thompson and published by Addison Wesley Publishing Company. This book was released on 1991 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Type Theory and Functional Programming Related Books