#2 | Type Theory and Formal Proof: An Introduction - Rob Nederpelt
- Herman Geuvers
| 3.5 | 1 read |
#3 | Types and Programming Languages | 0 | 1 read |
#4 | The Little Typer - Daniel P. Friedman
- David Thrane Christiansen
| 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.25 | 2 reads |