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. CoRR, abs/0811.3231, 2008. [doi]

Abstract

Abstract is missing.