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

 - Prentice-Hall of India, New Delhi  2005 
 - xiii,574 
<br/><br/><label>ISBN: </label>81-203-2792-6 
<br/><br/><label>Dewey Class. No.: </label>001.6424 Pie