Types and Programming Languages Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts London, England ©2002 Benjamin C. Pierce All rights…