The Peter Landin prize

Kevin Hammond, Greg Michaelson. The Peter Landin prize. Higher-Order and Symbolic Computation, 22(4):305-312, 2009. [doi]

Abstract

Abstract is missing.