Types and programming languages

A type system is a syntactic method for authomatically checking the absence of certain erroneous behaviours by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming language design, high-performance compilers, and security. This text...

Full description

Bibliographic Details

Main Author:	Pierce, Benjamin C. (Author)
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts MIT Press 2002
Subjects:	Programming languages (Electronic computers)
Tags:	Add Tag No Tags, Be the first to tag this record!