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