J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. - Olivier Danvy; Chung-chieh Shan; Ian Zerny (DSL, 2009)

On Graph Rewriting, Reduction and Evaluation. - Ian Zerny (Trends in Functional Programming, 2009)

Defunctionalized Interpreters for Call-by-Need Evaluation. - Olivier Danvy; Kevin Millikin; Johan Munk; Ian Zerny (FLOPS, 2010)

A walk in the semantic park. - Olivier Danvy; Jacob Johannsen; Ian Zerny (PEPM, 2011)

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation. - Olivier Danvy; Kevin Millikin; Johan Munk; Ian Zerny (Theor. Comput. Sci., 2012)

Circularity and Lambda Abstraction: From Bird to Pettorossi and back. - Olivier Danvy; Peter Thiemann 001; Ian Zerny (IFL, 2013)

A synthetic operational account of call-by-need evaluation. - Olivier Danvy; Ian Zerny (PPDP, 2013)

A logical correspondence between natural semantics and abstract machines. - Robert J. Simmons; Ian Zerny (PPDP, 2013)

On graph rewriting, reduction, and evaluation in the presence of cycles. - Ian Zerny (High. Order Symb. Comput., 2013)

Three syntactic theories for combinatory graph reduction. - Olivier Danvy; Ian Zerny (ACM Trans. Comput. Log., 2013)