#2 | Type Theory and Formal Proof: An Introduction - Rob Nederpelt
- Herman Geuvers
| 1 read |
#3 | Types and Programming Languages | 1 read |
#4 | The Little Typer - Daniel P. Friedman
- David Thrane Christiansen
| 1 read |
#5 | Practical Foundations for Programming Languages | 0 reads |
#6 | Type Theory and Functional Programming | 0 reads |
#7 | Thinking with Types. Type-Level Programming in Haskell | 2 reads |