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 reads with your hands on the keyboard.
If you love Types and Programming Languages...
The Rosewood Penny
2023 Queer Indie Award Nominee!
The dragons of Yuro have been hunted to extinction.
On a small, isolated island, in a reclusive forest, lives bandit leader Marani and her brother Jacks. With their outlaw band they rob from the rich to feed themselves, raiding carriages and dodging the occasional vindictive…
Want books like Types and Programming Languages?
Our community of 12,000+ authors has personally recommended 23 books like Types and Programming Languages.
Share your top 3 reads of 2025!
And get a beautiful page showing off your 3 favorite reads.
1,340
readers submitted
so far, will you?
📚 If you like Types and Programming Languages, you might also like...
Murder, Lies and Chocolate
Book 2, Death by Chocolate series.
Rodney Bradford comes into Lindsay's restaurant, offers to buy her small house for double its value, eats her brownies, and drops dead on the sidewalk in front. Next, her almost-ex-husband offers to sign the divorce papers, but only if she'll give him her small,…
Tangle of Time
A spellbinding journey through time and cultures.
When Annie Thornton, midwife and apprentice witch, falls through time to a 15th-century Yorkshire village with her telepathic cat, Rosamund, she befriends Will and Jack, two soldiers returning from the French Wars. Mistress Meg, Annie’s ancestral aunt living in the 15th century, is…
