"Advanced Topics in Types and Programming Languages"

E1095032 UNEXPLORED

"Advanced Topics in Types and Programming Languages" is a graduate-level computer science book that explores advanced concepts in type systems and their applications to programming language design and semantics.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Benjamin C. Pierce notableWork "Advanced Topics in Types and Programming Languages"
Benjamin C. Pierce isAuthorOf "Advanced Topics in Types and Programming Languages"