Simon Thompson

Simon Thompson

No information is available for this author.

Back to all authors

Books Authored by Simon Thompson

Type Theory and Functional Programming

Post date: 06 Nov 2006
This book gives the formal system for type theory, developing examples of both programs and proofs. From the functional programming point of view, this book stresses the differences between the system and more traditional languages.
Publisher: Addison-Wesley
Publication date: 31 Dec 1991
 
Type Theory and Functional Programming

Type Theory and Functional Programming

Post date: 06 Nov 2006
This book gives the formal system for type theory, developing examples of both programs and proofs. From the functional programming point of view, this book stresses the differences between the system and more traditional languages.
Publisher: Addison-Wesley
Publication date: 31 Dec 1991


Book Categories
Sponsors