Zena M. Ariola

According to our database, Zena M. Ariola authored at least 58 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Classical (co)recursion: Mechanics.

Paul Downen, Zena M. Ariola

J. Funct. Program., 2023

Closure Conversion in Little Pieces.

Zachary J. Sullivan, Paul Downen, Zena M. Ariola

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2021

Classical (Co)Recursion: Programming.

Paul Downen, Zena M. Ariola

CoRR, 2021

Strictly capturing non-strict closures.

Zachary J. Sullivan, Paul Downen, Zena M. Ariola

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

Duality in Action (Invited Talk).

Paul Downen, Zena M. Ariola

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Kinds are calling conventions.

Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg

Proc. ACM Program. Lang., 2020

Compiling With Classical Connectives.

Paul Downen, Zena M. Ariola

Log. Methods Comput. Sci., 2020

Abstracting models of strong normalization for classical calculi.

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

J. Log. Algebraic Methods Program., 2020

A Computational Understanding of Classical (Co)Recursion.

Paul Downen, Zena M. Ariola

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019

The Duality of Classical Intersection and Union Types.

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundam. Informaticae, 2019

Making a faster Curry with extensional types.

Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Codata in Action.

Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones

Proceedings of the Programming Languages and Systems, 2019

2018

A tutorial on computational classical logic and the sequent calculus.

Paul Downen, Zena M. Ariola

J. Funct. Program., 2018

Uniform Strong Normalization for Multi-discipline Calculi.

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing.

Paul Downen, Zena M. Ariola

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Call-by-name extensionality and confluence.

Philip Johnson-Freyd, Paul Downen, Zena M. Ariola

J. Funct. Program., 2017

Compiling without continuations.

Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Sequent calculus as a compiler intermediate language.

Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System.

Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

First Class Call Stacks: Exploring Head Reduction.

Philip Johnson-Freyd, Paul Downen, Zena M. Ariola

Proceedings of the Workshop on Continuations, 2015

Structures for structural recursion.

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Delimited control and computational effects.

Paul Downen, Zena M. Ariola

J. Funct. Program., 2014

Continuations, Processes, and Sharing.

Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Compositional semantics for composable continuations: from abortive to delimited control.

Paul Downen, Zena M. Ariola

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

The Duality of Construction.

Paul Downen, Zena M. Ariola

Proceedings of the Programming Languages and Systems, 2014

2012

Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts.

Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

A Systematic Approach to Delimited Control with Multiple Prompts.

Paul Downen, Zena M. Ariola

Proceedings of the Programming Languages and Systems, 2012

2011

Classical Call-by-Need and Duality.

Zena M. Ariola, Hugo Herbelin, Alexis Saurin

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2009

Sequent calculi and abstract machines.

Zena M. Ariola, Aaron Bohannon, Amr Sabry

ACM Trans. Program. Lang. Syst., 2009

An overview of the Oregon programming languages summer school.

Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic

ACM SIGPLAN Notices, 2009

A type-theoretic foundation of delimited continuations.

Zena M. Ariola, Hugo Herbelin, Amr Sabry

High. Order Symb. Comput., 2009

2008

Control reduction theories: the benefit of structural substitution.

Zena M. Ariola, Hugo Herbelin

J. Funct. Program., 2008

2007

A proof-theoretic foundation of abortive continuations.

Zena M. Ariola, Hugo Herbelin, Amr Sabry

High. Order Symb. Comput., 2007

2005

Skew and <i>omega</i>-Skew Confluence and Abstract Böhm Semantics.

Zena M. Ariola, Stefan Blom

Proceedings of the Processes, 2005

2004

A type-theoretic foundation of continuations and prompts.

Zena M. Ariola, Hugo Herbelin, Amr Sabry

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

Minimal Classical Logic and Control Operators.

Zena M. Ariola, Hugo Herbelin

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

Skew confluence and the lambda calculus with letrec.

Zena M. Ariola, Stefan Blom

Ann. Pure Appl. Log., 2002

2001

From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition.

Yong Xiao, Amr Sabry, Zena M. Ariola

High. Order Symb. Comput., 2001

2000

Bisimilarity in Term Graph Rewriting.

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Inf. Comput., 2000

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation

Yong Xiao, Zena M. Ariola, Michel Mauny

CoRR, 2000

1997

The Call-By-Need lambda Calculus.

Zena M. Ariola, Matthias Felleisen

J. Funct. Program., 1997

Lambda Calculus with Explicit Recursion.

Zena M. Ariola, Jan Willem Klop

Inf. Comput., 1997

Correctness of Monadic State: An Imperative Call-by-Need Calculus.

Zena M. Ariola, Amr Sabry

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Confluent rewriting of bisimilar term graphs.

Zena M. Ariola, Jan Willem Klop, Detlef Plump

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Cyclic Lambda Calculi.

Zena M. Ariola, Stefan Blom

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Narrowing the Narrowing Space.

Sergio Antoy, Zena M. Ariola

Proceedings of the Programming Languages: Implementations, 1997

1996

A Common Intermediate Language and Its Use in Partitioning Concurrent Declarative Programs.

Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick

New Gener. Comput., 1996

Equational Term Graph Rewriting.

Zena M. Ariola, Jan Willem Klop

Fundam. Informaticae, 1996

Relating graph and term rewriting via Böhm models.

Zena M. Ariola

Appl. Algebra Eng. Commun. Comput., 1996

1995

Properties of a First-Order Functional Language with Sharing.

Zena M. Ariola, Arvind

Theor. Comput. Sci., 1995

The Call-by-Need Lambda Calculus.

Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

Syntactic Definitions of Undefined: On Defining the Undefined.

Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries

Proceedings of the Theoretical Aspects of Computer Software, 1994

Cyclic Lambda Graph Rewriting

Zena M. Ariola, Jan Willem Klop

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Compilation of Concurrent Declarative Languages.

Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick

Proceedings of the Integration of Declarative Paradigms, 1994

1993

Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates.

A. V. S. Sastry, William D. Clinger, Zena M. Ariola

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1991

A Syntactic Approach to Program Transformations.

Zena M. Ariola, Arvind

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Compilation of Id.

Zena M. Ariola, Arvind

Proceedings of the Languages and Compilers for Parallel Computing, 1991

1989

P-TAC: A Parallel Intermediate Language.

Zena M. Ariola, Arvind

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989