Back to Media

Advanced Topics in Types and Programming Languages

Benjamin C. Pierce
book completed cs-theory
type-theory advanced dependent-types
All Media More in Cs-Theory

More in Cs-Theory

Alexander Stepanov: Notes on Programming
Alexander Stepanov · lecture
Algorithms
Robert Sedgewick, Kevin Wayne · book
An Introduction to Kolmogorov Complexity and Its Applications
Ming Li, Paul Vitányi · book
Concrete Mathematics
Ronald L. Graham, Donald E. Knuth, Oren Patashnik · book