Types and programming languages by Benjamin C Pierce - Pierce Benjamin C (Cambridge MIT Press, 2002)
Appendix A-B, 491-566p; Bibliographical references 567-603p; Index 605-623p; ^n23/CSL/D65/2002-2003/225^d2002-07-22^mPurchase; ; 2002-03/113^b2002-08-01^c1709^d2002-07-29^eRs.6,476.56^fThe Book Seller; ; 2002-12-18^bSB^c2003-07-04^dRPS
Keywords: Computer programming; Computer science