Types and programming languages

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applicat...

Full description

Saved in:
Bibliographic Details
Main Author: Pierce, Benjamin C.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, 2002.
ISBN: 9780262256810
Physical Description: 1 online zdroj (xxi, 623 pages) : illustrations


Table of contents