BOOK · [3821]
Advanced Topics in Types and Programming Languages
Technology
On Patrick Collison's bookshelf at patrickcollison.com/bookshelf, Advanced Topics in Types and Programming Languages by Benjamin C. Pierce appears in his catalog of physical books across science, history, engineering, and the humanities.