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 | Full text |
| ISBN | 9780262256810 |
| Physical Description | 1 online zdroj (xxi, 623 pages) : illustrations |
Glossary of Terms