Types and programming languages - Pierce, Benjamin C. (Cambridge, Massachusetts The MIT Press, 2002)
Electronic reproduction
Keywords: Programming languages (Electronic computers); Electronic books