Types and Programming Languages

By Benjamin C. Pierce,

Book cover of Types and Programming Languages

Book description

A comprehensive introduction to type systems 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…


When you buy books, we may earn a commission that helps keep our lights on (or join the rebellion as a member).

Why read it?

1 author picked Types and Programming Languages as one of their favorite books. Why do they recommend it?

Having worked with an untyped functional language the next logical step is to add types on top, and how to get a better understanding than by implementing the type system yourself.

This book takes you through all the interesting kinds and variations of type systems, and you get to implement them yourself using one of my absolute favorite languages (OCaml).

From Christian's list on reads with your hands on the keyboard.

Want books like Types and Programming Languages?

Our community of 12,000+ authors has personally recommended 23 books like Types and Programming Languages.

Browse books like Types and Programming Languages

Book cover of Structure and Interpretation of Computer Programs
Book cover of Beautiful Code
Book cover of Distributed Algorithms An Intuitive Approach

Share your top 3 reads of 2024!

And get a beautiful page showing off your 3 favorite reads.

1,187

readers submitted
so far, will you?

5 book lists we think you will like!

Interested in computer programming, python, and computers?

Python 30 books
Computers 29 books