• Title Programming in Martin-Lof's Type Theory: An Introduction
• Author(s) Bengt Nordstrom (Author), Kent Petersson (Author), Jan M. Smith (Author)
• Publisher: Oxford University Press; First Edition edition (July 19, 1990)
• Hardcover: 232 pages
• eBook: PDF and Postscript
• Language: English
• ISBN-10: 0198538146
• ISBN-13: 978-0198538141
• Share This:  

Book Description

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property.

This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

• N/A

• Amazon

• Functional Programming
• Computer Programming
• Haskell Programming
• Scheme Programming
• Scala Programming Language
• Caml and OCaml Programming

• Programming in Martin-Lof's Type Theory: An Introduction (Bengt Nordstrom, et al)
• The Mirror Site (1) - PDF

• Type Theory and Functional Programming (Simon Thompson)
• Certified Programming with Dependent Types
• Purely Functional Data Structures (Chris Okasaki)
• Category Theory for the Sciences (David I. Spivak)
• Real World OCaml: Functional Programming for the Masses