ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES - Pierce,Benjamin C. (Massachusetts Institute Of Technology, Cambridge, 2005)
Includes Bibliographical References And Index
Keywords: Programming Languages(Electronic Computers)