Types and Programming Languages
A

Types and Programming Languages

General
type theory programming languages lambda calculus subtyping polymorphism type systems formal semantics
Author
Benjamin C. Pierce
Publisher
The MIT Press
Year
2002
Language
English
95
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

Benjamin C. Pierce (editor)

Programming Language Pragmatics, Fifth Edition

Programming Language Pragmatics, Fifth Edition

Michael L. Scott, Jonathan Aldrich

The C++ Programming Language

The C++ Programming Language

Bjarne Stroustrup

Rust Programming Language: Comprehensive Guide to Syntax, Types, and Core Concepts

Rust Programming Language: Comprehensive Guide to Syntax, Types, and Core Concepts

Not specified in the provided content

Principles of Object-Oriented Programming

Principles of Object-Oriented Programming

Not specified

Computer Systems: A Programmer's Perspective, Third Global Edition

Computer Systems: A Programmer's Perspective, Third Global Edition

Randal E. Bryant, David R. O'Hallaron

Programming Languages: Concepts and Implementation

Programming Languages: Concepts and Implementation

Saverio Perugini

The Go Programming Language Specification

The Go Programming Language Specification

Oliver Stone

Algorithms and Data Structures

Algorithms and Data Structures

Niklaus Wirth

Concepts and Vocabulary: Programming Concepts and Vocabulary

Concepts and Vocabulary: Programming Concepts and Vocabulary

Author not specified