Ian Zerny
Title
Cited by
Cited by
Year
Defunctionalized interpreters for call-by-need evaluation
O Danvy, K Millikin, J Munk, I Zerny
International Symposium on Functional and Logic Programming, 240-256, 2010
362010
A synthetic operational account of call-by-need evaluation
O Danvy, I Zerny
Proceedings of the 15th symposium on principles and practice of declarative …, 2013
262013
A walk in the semantic park
O Danvy, J Johannsen, I Zerny
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
232011
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation
O Danvy, K Millikin, J Munk, I Zerny
Theoretical Computer Science 435, 21-42, 2012
202012
Three syntactic theories for combinatory graph reduction
O Danvy, I Zerny
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
92010
On Graph Rewriting, Reduction and Evaluation.
I Zerny
Trends in Functional Programming 10, 81-112, 2009
62009
J is for Javascript: A direct-style correspondence between Algol-like languages and Javascript using first-class continuations
O Danvy, C Shan, I Zerny
IFIP Working Conference on Domain-Specific Languages, 1-19, 2009
52009
The interpretation and inter-derivation of small-step and big-step specifications
I Zerny
PhD thesis, Department of Computer Science, Aarhus University, Aarhus, Denmark, 2013
42013
Three syntactic theories for combinatory graph reduction
O Danvy, I Zerny
ACM Transactions on Computational Logic (TOCL) 14 (4), 1-27, 2013
32013
A logical correspondence between natural semantics and abstract machines
RJ Simmons, I Zerny
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
32013
On graph rewriting, reduction, and evaluation in the presence of cycles
I Zerny
Higher-Order and Symbolic Computation 26 (1-4), 63-84, 2013
12013
A Case Study in Modular Programming: Using AspectJ and OCaml in an Undergraduate Compiler Project
AS Christensen, J Midtgaard, J Winther, I Zerny
Department of Computer Science, University of Aarhus, 2015
2015
Circularity and Lambda Abstraction: From Bird to Pettorossi and back
O Danvy, P Thiemann, I Zerny
Proceedings of the 25th symposium on Implementation and Application of …, 2013
2013
Circularity and Lambda Abstraction: From Bird to Pettorossi and back
O Danvy, P Thiemann, I Zerny
Proceedings of the 25th symposium on Implementation and Application of …, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–14