Practical foundations for programming languages /
Practical foundations for programming languages / Robert Harper. - Cambridge : Cambridge Univ. Press, 2013. - 471 p.
Includes bibliographical references and index.
9781107029576
Programming languages (Electronic computers)
QA76.7 / H376P