Advanced topics in types and programming languages - Pierce, Benjamin C. (New Delhi PrenticeHall of India, 2005)
Keywords: Programming languages; Electronic data processing