Processing ......
FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.

 Title Programming in MartinLof'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
 ISBN10: 0198538146
 ISBN13: 9780198538141
 Share This:
Book Description
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per MartinLof. 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.
About the Authors N/A
 Functional Programming
 Computer Programming
 Haskell Programming
 Scheme Programming
 Scala Programming Language
 Caml and OCaml Programming




















