Basic Simple Type Theory

Basic Simple Type Theory
Author :
Publisher : Cambridge University Press
Total Pages : 200
Release :
ISBN-10 : 9780521465182
ISBN-13 : 0521465184
Rating : 4/5 (184 Downloads)

Book Synopsis Basic Simple Type Theory by : J. Roger Hindley

Download or read book Basic Simple Type Theory written by J. Roger Hindley and published by Cambridge University Press. This book was released on 1997 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists.


Basic Simple Type Theory Related Books

Basic Simple Type Theory
Language: en
Pages: 200
Authors: J. Roger Hindley
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques
Simple Type Theory
Language: en
Pages: 309
Authors: William M. Farmer
Categories: Computers
Type: BOOK - Published: 2023-02-02 - Publisher: Springer Nature

DOWNLOAD EBOOK

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about m
Categorical Logic and Type Theory
Language: en
Pages: 784
Authors: B. Jacobs
Categories: Computers
Type: BOOK - Published: 2001-05-10 - Publisher: Gulf Professional Publishing

DOWNLOAD EBOOK

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat
An Introduction to Mathematical Logic and Type Theory
Language: en
Pages: 404
Authors: Peter B. Andrews
Categories: Mathematics
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti
Type Theory and Formal Proof
Language: en
Pages: 465
Authors: Rob Nederpelt
Categories: Computers
Type: BOOK - Published: 2014-11-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.