Author of the publication

J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.

, , and . DSL, volume 5658 of Lecture Notes in Computer Science, page 1-19. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A synthetic operational account of call-by-need evaluation., and . PPDP, page 97-108. ACM, (2013)A Rational Deconstruction of Landin's SECD Machine with the J Operator., and . Logical Methods in Computer Science, (2008)Refunctionalization at Work.. MPC, volume 4014 of Lecture Notes in Computer Science, page 4. Springer, (2006)A Symmetric Approach to Compilation and Decompilation., , and . The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 296-331. Springer, (2002)A Journey from Interpreters to Compilers and Virtual Machines.. GPCE, volume 2830 of Lecture Notes in Computer Science, page 117. Springer, (2003)An Operational Investigation of the CPS Hierarchy., and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 224-242. Springer, (1999)Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure., and . PEPM, page 90-106. ACM, (1997)Pragmatics of Type-Directed Partial Evaluation.. Dagstuhl Seminar on Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, page 73-94. Springer, (1996)A first-order one-pass CPS transformation., and . Theor. Comput. Sci., 308 (1-3): 239-257 (2003)Pragmatics for formal semantics.. GPCE, page 93-94. ACM, (2011)