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 | 37 | 2010 |
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 | 34 | 2013 |
A walk in the semantic park O Danvy, J Johannsen, I Zerny Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011 | 32 | 2011 |
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 | 24 | 2012 |
Three syntactic theories for combinatory graph reduction O Danvy, I Zerny International Symposium on Logic-Based Program Synthesis and Transformation …, 2010 | 10 | 2010 |
On Graph Rewriting, Reduction and Evaluation. I Zerny Trends in Functional Programming 10, 81-112, 2009 | 6 | 2009 |
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 | 5 | 2009 |
Three syntactic theories for combinatory graph reduction O Danvy, I Zerny ACM Transactions on Computational Logic (TOCL) 14 (4), 1-27, 2013 | 4 | 2013 |
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 | 4 | 2013 |
On graph rewriting, reduction, and evaluation in the presence of cycles I Zerny Higher-Order and Symbolic Computation 26, 63-84, 2013 | 3 | 2013 |
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 | 2 | 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 | 1 | 2013 |
A Case Study in Modular Programming: Using AspectJ and OCaml in an Undergraduate Compiler Project AS Christensen, J Midtgaard, J Winther, I Zerny | | 2015 |