Ian Zerny

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Structural Pattern Recognition

Graph Databases

Top Venues

ACM Trans. Comput. Log.

High. Order Symb. Comput.

Publications

Olivier Danvy, Peter Thiemann, Ian Zerny
Circularity and Lambda Abstraction: From Bird to Pettorossi and back. IFL (2013)
Olivier Danvy, Ian Zerny
Three syntactic theories for combinatory graph reduction. ACM Trans. Comput. Log. 14 (4) (2013)
Ian Zerny
On graph rewriting, reduction, and evaluation in the presence of cycles. High. Order Symb. Comput. 26 (1-4) (2013)
Olivier Danvy, Ian Zerny
A synthetic operational account of call-by-need evaluation. PPDP (2013)
Robert J. Simmons, Ian Zerny
A logical correspondence between natural semantics and abstract machines. PPDP (2013)
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation. Theor. Comput. Sci. 435 (2012)
Olivier Danvy, Jacob Johannsen, Ian Zerny
A walk in the semantic park. PEPM (2011)
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
Defunctionalized Interpreters for Call-by-Need Evaluation. FLOPS (2010)
Olivier Danvy, Ian Zerny
Three Syntactic Theories for Combinatory Graph Reduction. LOPSTR (2010)
Ian Zerny
On Graph Rewriting, Reduction and Evaluation. Trends in Functional Programming (2009)
Olivier Danvy, Chung-chieh Shan, Ian Zerny
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. DSL (2009)