Pierce Benjamin C <br/><br/>
Types and programming languages by Benjamin C Pierce 

 - Cambridge  MIT Press          2002 
 - xxi, 623p 
<br/><br/> 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 
<br/><br/><label>ISBN: </label>0262162091 (hbd) 
<br/><br/><label>Standard No.: </label>9755 
<br/><br/><label>Source: </label> The Book,  Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Computer programming<br/>Computer science
<br/><br/><label>Dewey Class. No.: </label>D65,8(B)92, P2