Follow
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
372010
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
342013
A walk in the semantic park
O Danvy, J Johannsen, I Zerny
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
302011
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
242012
Three syntactic theories for combinatory graph reduction
O Danvy, I Zerny
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
102010
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
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK …, 2009
52009
Three syntactic theories for combinatory graph reduction
O Danvy, I Zerny
ACM Transactions on Computational Logic (TOCL) 14 (4), 1-27, 2013
42013
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
On graph rewriting, reduction, and evaluation in the presence of cycles
I Zerny
Higher-Order and Symbolic Computation 26, 63-84, 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
22013
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
12013
A Case Study in Modular Programming: Using AspectJ and OCaml in an Undergraduate Compiler Project
AS Christensen, J Midtgaard, J Winther, I Zerny
2015
The system can't perform the operation now. Try again later.
Articles 1–13