Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Types and Programming Languages
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
The study of type systems -? And from a programming language from the perspective of type-theory-has important applications in software engineering, design language, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and basic theory of programming languages. Core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, restricted quantification, recursive types, kinds, and type operators.
Computer eBook Details
- ISBN-10: 0262162091
- ISBN-13: 9780262162098
- Publisher: The MIT Press
- Pages: 645
- Date: February 2002