Back to Media

Types and Programming Languages

Benjamin C. Pierce
book completed cs-theory
External Link https://www.cis.upenn.edu/~bcpierce/tapl/
type-theory lambda-calculus programming-languages
View Resource All Media More in Cs-Theory
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce · book
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