Publications

Refereed conference and workshop papers

Olivier Danvy, Kevin Millikin, Johan Munk, and Ian Zerny. Defunctionalized Interpreters for Call-by-Need Evaluation. Functional and Logic Programming, 10th International Symposium, FLOPS 2010. Matthias Blume, Naoki Kobayashi and Germán Vidal. LNCS 6009, Springer, April 2010, 240–256. DOI, BIB, PDF.

Ian Zerny. On Graph Rewriting, Reduction and Evaluation. Trends in Functional Programming Volume 10. Zoltán Horváth, Viktória Zsók, Peter Achten, and Pieter Koopman. Intellect Books, 2011, 81–112. Granted the 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. Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Walid Taha. 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. Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011). Siau-Cheng Khoo and Jeremy Siek. ACM Press, January 2011, 1–12. Invited talk. DOI, BIB, PDF.

Olivier Danvy and Ian Zerny. Three Syntactic Theories for Combinatory Graph Reduction. Logic Based Program Synthesis and Transformation, 20th International Symposium, LOPSTR 2010, revised selected papers. María Alpuente. LNCS 6564, Springer, July 2010, 1–20. Invited talk. DOI, BIB.