The Little Typer
ByDaniel P. Friedman,David Thrane Christiansen
2018 • 424 pages

Ratings2

Average rating4

15

List

6 books

Type Theory

panashe
Panashe Fundira
Type Theory and Formal Proof: An Introduction
Types and Programming Languages
The Little Typer
Practical Foundations for Programming Languages
Type Theory and Functional Programming
Thinking with Types. Type-Level Programming in Haskell

List

20 books

Owned

schmavery
Avery
Permutation City
Lila: An Inquiry Into Morals
The Shock Doctrine: The Rise of Disaster Capitalism
Count Zero
Seveneves
Fahrenheit 451
Masters of Doom: How Two Guys Created an Empire and Transformed Pop Culture