Pierce, Benjamin C <br/><br/>
Advanced topics in types and programming languages 

 - Cambridge  Massachusetts Institute of Technology  2005 
 - xii, 574 p. 
<br/><br/><label>ISBN: </label>0262162288 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER PROGRAMMING<br/>COMPUTER SCIENCE<br/>ELECTRONIC COMPUTERS<br/>PROGRAMMING LANGUAGE
<br/><br/><label>Universal Decimal Class. No.: </label>ADV