Follow
Zena Ariola
Zena Ariola
Verified email at cs.uoregon.edu
Title
Cited by
Cited by
Year
A call-by-need lambda calculus
ZM Ariola, J Maraist, M Odersky, M Felleisen, P Wadler
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
5001995
Equational term graph rewriting
ZM Ariola, JW Klop
Fundamenta Informaticae 26 (3-4), 207-240, 1996
1741996
Minimal classical logic and control operators
ZM Ariola, H Herbelin
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
1132003
Lambda calculus with explicit recursion
ZM Ariola, JW Klop
Information and computation 139 (2), 154-233, 1997
981997
Cyclic lambda calculi
ZM Ariola, S Blom
International Symposium on Theoretical Aspects of Computer Software, 77-106, 1997
841997
Cyclic lambda graph rewriting
ZM Ariola, JW Klop
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 416-425, 1994
841994
Skew confluence and the lambda calculus with letrec
ZM Ariola, S Blom
Annals of pure and applied logic 117 (1-3), 95-168, 2002
582002
Properties of a first-order functional language with sharing
ZM Ariola
Theoretical Computer Science 146 (1-2), 69-108, 1995
561995
Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates
AVS Sastry, W Clinger, Z Ariola
Proceedings of the conference on Functional programming languages and …, 1993
561993
A type-theoretic foundation of delimited continuations
ZM Ariola, H Herbelin, A Sabry
Higher-order and symbolic computation 22, 233-273, 2009
522009
Compiling without continuations
L Maurer, P Downen, ZM Ariola, S Peyton Jones
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
512017
A type-theoretic foundation of continuations and prompts
ZM Ariola, H Herbelin, A Sabry
ACM SIGPLAN Notices 39 (9), 40-53, 2004
482004
Classical call-by-need and duality
ZM Ariola, H Herbelin, A Saurin
International Conference on Typed Lambda Calculi and Applications, 27-44, 2011
372011
P-TAC: a parallel intermediate language
Z Ariola, Arvind
Proceedings of the fourth international conference on Functional programming …, 1989
361989
From syntactic theories to interpreters: Automating the proof of unique decomposition
Y Xiao, A Sabry, ZM Ariola
Higher-Order and Symbolic Computation 14, 387-409, 2001
352001
A proof-theoretic foundation of abortive continuations
ZM Ariola, H Herbelin, A Sabry
Higher-order and symbolic computation 20 (4), 403-429, 2007
342007
The duality of construction
P Downen, ZM Ariola
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
322014
Classical call-by-need sequent calculi: The unity of semantic artifacts
ZM Ariola, P Downen, H Herbelin, K Nakata, A Saurin
Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012
322012
Sequent calculi and abstract machines
ZM Ariola, A Bohannon, A Sabry
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (4), 1-48, 2009
322009
Correctness of monadic state: An imperative call-by-need calculus
ZM Ariola, A Sabry
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
321998
The system can't perform the operation now. Try again later.
Articles 1–20