Related Books
Language: en
Pages: 504
Pages: 504
Type: BOOK - Published: 1996 - Publisher: Addison Wesley
0805311912B04062001
Language: en
Pages: 1347
Pages: 1347
Type: BOOK - Published: 2008-07-18 - Publisher: MIT Press
1. Introduction 2. Syntax 3. Operational semantics 4. Denotational semantics 5. Fixed points 6. FL: a functional language 7. Naming 8. State 9. Control 10. Data
Language: en
Pages: 600
Pages: 600
Type: BOOK - Published: 2004-12-23 - Publisher: MIT Press
A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now
Language: en
Pages: 500
Pages: 500
Type: BOOK - Published: 2004-05-21 - Publisher: John Wiley & Sons
Explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the major paradigms: imperative, OO, concurrent,
Language: en
Pages: 646
Pages: 646
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
