A Rational Deconstruction of Landin's SECD Machine with the J Operator.

Olivier Danvy Kevin Millikin A Rational Deconstruction of Landin's SECD Machine with the J Operator. 2008 4 Logical Methods in Computer Science 4 http://dx.doi.org/10.2168/LMCS-4(4:12)2008 db/journals/lmcs/lmcs4.html#DanvyM08