Advanced topics in types and programming languages - Pierce, Benjamin C. (New Delhi Prentice-Hall of India Private Limited, 2005)
Keywords: Programming languages (Electronic computers)