| #2 |  Type Theory and Formal Proof: An Introduction
| 3.5 | 1 read | |
| #3 |  Types and Programming Languages
| 0 | 1 read | |
| #4 |  The Little Typer
| 0 | 1 read | |
| #5 |  Practical Foundations for Programming Languages
| 0 | 0 reads | |
| #6 |  Type Theory and Functional Programming
| 0 | 0 reads | |
| #7 |  Thinking with Types. Type-Level Programming in Haskell
| 4.5 | 2 reads |
