Advanced Topics in Types and Programming Languages
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.