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