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...
These Blue Mountains
A moving story of love, betrayal, and the enduring power of hope in the face of darkness.
German pianist Hedda Schlagel's world collapsed when her fiancé, Fritz, vanished after being sent to an enemy alien camp in the United States during the Great War. Fifteen years later, in 1932, Hedda…
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 2025!
And get a beautiful page showing off your 3 favorite reads.
1,395
readers submitted
so far, will you?
📚 If you like Types and Programming Languages, you might also like...
In Bad Faith
Nelson West, a former Chicago homicide detective, is hired by wealthy heir Lionel Bing to discreetly help “fix” scandals and legal problems for his father’s wealthy friends.
Bing, a brilliant but troubled investigator, suffers from PTSD symptoms as a result of being kidnapped and witnessing the murder of his mother…
Your Sun Will Rise Again
Your Sun Will Rise Again is a powerful collection of poetic reflections on hope, resilience, and the human spirit. Written with sincerity and depth, these poems speak directly to those navigating life’s challenges, offering comfort, clarity, and quiet strength in difficult moments.
Through simple yet profound language, the book reminds…
