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…
- Coming soon!
- Coming soon!
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 The best books to read with your hands on the keyboard.
If you love Types and Programming Languages...
December on 5C4
Magical realism meets the magic of Christmas in this mix of Jewish, New Testament, and Santa stories–all reenacted in an urban psychiatric hospital!
On locked ward 5C4, Josh, a patient with many similarities to Jesus, is hospitalized concurrently with Nick, a patient with many similarities to Santa. The two argue…
Want books like Types and Programming Languages?
Our community of 13,000+ authors has personally recommended 23 books like Types and Programming Languages.
Share your top 3 reads of 2026!
And get a beautiful page showing off your 3 favorite reads.
175
readers submitted
so far, will you?
📚 If you like Types and Programming Languages, you might also like...
Sexy Selfie Nation
The problem is not with the actions young women take but with the toxic, sexist conditions they are responding to.
Tanenbaum found, based on six years of interviews with young people ages 14-30, that young women are navigating a culture littered with gendered dress codes, revenge porn, and sexually explicit…
In This Together
In This Together explores how we can harness our social networks to make a real impact fighting the climate crisis. Against notions of the lone environmental crusader, Marianne E. Krasny shows us the power of "network climate action"—the idea that our own ordinary acts can influence and inspire those close…
