Harper, Robert Practical foundations for programming languages - 2nd ed. - Cambridge Cambridge University Press 2016 - xviii, 494p. ISBN: 9781107150300 Subjects--Topical Terms: Programming languages (Electronic computers) Dewey Class. No.: 005.13 HAR/P