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