Processing ......

FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
|
|
Want to measure length or width of any objects on the earth? Try GIS Visualizer.
- 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.
About the Authors- N/A
- Functional Programming
- Computer Programming
- Haskell Programming
- Scheme Programming
- Scala Programming Language
- Caml and OCaml Programming