Refereed conference and workshop papers
Olivier Danvy, Kevin Millikin, Johan Munk, and Ian Zerny.
Defunctionalized Interpreters for Call-by-Need Evaluation. In
Matthias Blume, Naoki Kobayashi and Germán Vidal, editors,
Functional and Logic Programming, 10th International Symposium, FLOPS 2010.
LNCS,
6009,
Springer,
April 2010,
240–256. [DOI], [BIB], [PDF].
Ian Zerny.
On Graph Rewriting, Reduction, and Evaluation. In
Zoltán Horváth, Viktória Zsók, Peter Achten, and Pieter Koopman, editors,
Trends in Functional Programming Volume 10.
Intellect Books,
2011,
81–112. Best student-paper award of TFP 2009. [BIB], [PDF].
Olivier Danvy, Chung-chieh Shan, and Ian Zerny.
J is for JavaScript: A direct-style correspondence between Algol-like languages and JavaScript using first-class continuations. In
Walid Taha, editor,
Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009.
LNCS,
5658,
Springer,
July 2009,
1–19. [DOI], [BIB], [PDF].
Other conference and workshop papers
Olivier Danvy, Jacob Johannsen and Ian Zerny.
A Walk in the Semantic Park. In
Siau-Cheng Khoo and Jeremy Siek, editors,
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011).
ACM Press,
January 2011,
1–12. Invited talk. [DOI], [BIB], [PDF].
Olivier Danvy and Ian Zerny.
Three Syntactic Theories for Combinatory Graph Reduction. In
María Alpuente, editor,
Logic Based Program Synthesis and Transformation, 20th International Symposium, LOPSTR 2010, revised selected papers.
LNCS,
6564,
Springer,
July 2010,
1–20. Invited talk. [DOI], [BIB], [PDF].