"A Rational Deconstruction of Landin's J Operator."

Olivier Danvy, Kevin Millikin (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics