Related Books
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: 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
Language: en
Pages: 630
Pages: 630
Type: BOOK - Published: 2017-07-20 - Publisher: Createspace Independent Publishing Platform
Advanced Topics in Types and Programming Languages By Benjamin C. Pierce
Language: en
Pages: 546
Pages: 546
Type: BOOK - Published: 2003 - Publisher: Cambridge University Press
A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.
Language: en
Pages: 341
Pages: 341
Type: BOOK - Published: 2017-08-31 - Publisher: Springer
This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling prac