Practical foundations for programming languages - Harper, Robert 1957- (New York NY Cambridge University Press, 2016)
Includes bibliographical references and index.
Keywords: Programming languages (Electronic computers)