Advanced Topics in Types and Programming Languages

Mit Press - 2004
Benjamin C. Pierce