Type theory and functional programming
β Simon Thompson
π Library
π
1991
π Addison-Wesley
π English
β¦ LIBER β¦
π
Type Theory and Functional Programming
β Scribed by Simon Thompson
- Publisher
- Addison-Wesley
- Year
- 1991
- Tongue
- English
- Leaves
- 378
- Series
- International Computer Science Series
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ 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.
π SIMILAR VOLUMES
Type theory & functional programming
β Simon Thompson
π Library
π
1991
π Addison-Wesley
π English
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 exerc
Constructive Algebra in Functional Progr
β Anders MΓΆrtberg
π Library
π
2010
π University of Gothenburg
π English
Downloaded from http://web.student.chalmers.se/~mortberg/master/MSc-Thesis.pdf version 22 Aug 2010
Functional programming : practice and th
β Bruce J MacLennan
π Library
π
1990
π Addison-Wesley
π English
Matrix Functions of Bounded Type: An Int
β Curto R.E., et al.
π Library
π
2017
π AMS
π English
Drawing programs: The theory and practic
β Tom Addis, Jan Addis (auth.)
π Library
π
2010
π Springer London
π English
<em>Drawing Programs: The Theory and Practice of Schematic Functional Programming</em> describes a diagrammatic (schematic) approach to programming. It introduces a sophisticated tool for programmers who would rather work with diagrams than with text. The language is a complete functional language t