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

 - Prentice Hall of India, New Delhi  c2002 
 - xxi,623p 
<br/><br/><label>ISBN: </label>81-203-2462-5 
<br/><br/><label>Dewey Class. No.: </label>001.6424 Pie