𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Type theory and functional programming

✍ Scribed by Simon Thompson

Publisher
Addison-Wesley
Year
1991
Tongue
English
Leaves
378
Series
International computer science series
Edition
free web version
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Type Theory and Functional Programming
πŸ“ Type Theory and 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

Type theory & functional programming
πŸ“ 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

Drawing programs: The theory and practic
πŸ“ Drawing programs: The theory and practice of schematic functional programming
✍ 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