%0 Book %A Pierce, Benjamin C., 1963- %I The MIT Press %D 2002 %C Cambridge, Massachusetts %G English %@ 0-262-16209-1 %@ 978-0-262-16209-8 %T Types and programming languages