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

Type Theory and Functional Programming
Language: en
Pages: 396
Authors: Simon Thompson
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: Addison Wesley Publishing Company

DOWNLOAD EBOOK

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 a
Basic Category Theory for Computer Scientists
Language: en
Pages: 117
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

DOWNLOAD EBOOK

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l
Functional Programming
Language: en
Pages: 616
Authors: Bruce J. MacLennan
Categories: Computers
Type: BOOK - Published: 1990 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

Category Theory for Programmers (New Edition, Hardcover)
Language: en
Pages:
Authors: Bartosz Milewski
Categories:
Type: BOOK - Published: 2019-08-24 - Publisher:

DOWNLOAD EBOOK

Category Theory is one of the most abstract branches of mathematics. It is usually taught to graduate students after they have mastered several other branches o
Programming in Martin-Löf's Type Theory
Language: en
Pages: 240
Authors: Bengt Nordström
Categories: Computers
Type: BOOK - Published: 1990 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a