Olivier Danvy. A Rational Deconstruction of Landin s SECD Machine. In Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder, editors, Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Volume 3474 of Lecture Notes in Computer Science, pages 52-71, Springer, 2004. [doi]
Abstract is missing.