Kevin Hammond, Greg Michaelson. The Peter Landin prize. Higher-Order and Symbolic Computation, 22(4):305-312, 2009. [doi]
@article{HammondM09, title = {The Peter Landin prize}, author = {Kevin Hammond and Greg Michaelson}, year = {2009}, doi = {10.1007/s10990-010-9055-7}, url = {http://dx.doi.org/10.1007/s10990-010-9055-7}, researchr = {https://researchr.org/publication/HammondM09}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {22}, number = {4}, pages = {305-312}, }