"Types and Programming Languages"
E1093137
UNEXPLORED
"Types and Programming Languages" is a widely acclaimed textbook that provides a rigorous, foundational introduction to type systems and programming language theory for computer science students and researchers.
All labels observed (1)
| Label | Occurrences |
|---|---|
| "Types and Programming Languages" canonical | 2 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.