Type Theory and Functional Programming
Overview & Synopsis
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.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Type Theory and Functional Programming |
|---|---|
| Author / Organization | Simon Thompson |
| Subject & Discipline | Functional Programming, Computer Programming, Haskell Programming, Scheme Programming, Scala Programming Language, Caml and OCaml Programming |
| Categories | Functional Programming |
| Publication Year | 1991 |
| ISBN | 0201416670 |
| Resource Verification | Verification pending |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-70523 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Type Theory and Functional Programming • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.