Harper, Robert Practical foundations for programming languages - 2 - New York, Cambridge University Press, 2016. - xviii, 494p ISBN: 9781107150300 Subjects--Topical Terms: COMPUTER SCIENCECOMPUTER PROGRAMMINGPROGRAMMING LANGUAGE Dewey Class. No.: 005.13 HAR/P