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