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...
Saved in:
Main Author | |
---|---|
Format | Electronic eBook |
Language | English |
Published |
Cambridge, Mass. :
MIT Press,
2002.
|
Subjects | |
Online Access | Plný text |
Cover
Loading…