×

zbMATH — the first resource for mathematics

Ariola, Zena M.

Compute Distance To:
Author ID: ariola.zena-m Recent zbMATH articles by "Ariola, Zena M."
Published as: Ariola, Zena; Ariola, Zena M.
External Links: MGP
Documents Indexed: 31 Publications since 1994, including 1 Book

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 148 times in 94 Documents Cited by Year
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
29
1996
The call-by-need lambda calculus. Zbl 0887.68007
Ariola, Zena M.; Felleisen, Matthias
20
1997
Lambda calculus with explicit recursion. Zbl 0892.68015
Ariola, Zena M.; Klop, Jan Willem
11
1997
Minimal classical logic and control operators. Zbl 1039.03019
Ariola, Zena M.; Herbelin, Hugo
9
2003
Skew confluence and the lambda calculus with letrec. Zbl 1019.03011
Ariola, Zena M.; Blom, Stefan
9
2002
A proof-theoretic foundation of abortive continuations. Zbl 1128.68089
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
7
2007
Properties of a first-order functional language with sharing. Zbl 0873.68016
Ariola, Zena M.; Arvind
7
1995
Bisimilarity in term graph rewriting. Zbl 1045.68590
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
6
2000
Classical call-by-need and duality. Zbl 1331.68041
Ariola, Zena M.; Herbelin, Hugo; Saurin, Alexis
5
2011
A type-theoretic foundation of continuations and prompts. Zbl 1323.68090
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
5
2004
From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101
Xiao, Yong; Sabry, Amr; Ariola, Zena M.
5
2001
A type-theoretic foundation of delimited continuations. Zbl 1213.68187
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
4
2009
Cyclic lambda calculi. Zbl 0884.03008
Ariola, Zena M.; Blom, Stefan
4
1997
Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511
Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
4
1994
The duality of construction. Zbl 1405.68079
Downen, Paul; Ariola, Zena M.
3
2014
Control reduction theories: The benefit of structural substitution. Zbl 1138.68020
Ariola, Zena M.; Herbelin, Hugo
3
2008
Confluent rewriting of bisimilar term graphs. Zbl 0911.68090
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
3
1997
Relating graph and term rewriting via Böhm models. Zbl 0855.68049
Ariola, Zena M.
3
1996
Sequent calculus as a compiler intermediate language. Zbl 1360.68326
Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon
2
2016
Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046
Downen, Paul; Ariola, Zena M.
2
2014
Delimited control and computational effects. Zbl 1297.68048
Downen, Paul; Ariola, Zena M.
2
2014
A systematic approach to delimited control with multiple prompts. Zbl 1352.68041
Downen, Paul; Ariola, Zena M.
2
2012
Structures for structural recursion. Zbl 1360.68361
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.
1
2015
Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043
Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis
1
2012
Correctness of monadic state: An imperative call-by-need calculus. Zbl 0925.68292
Ariola, Zena; Sabry, Amr
1
1997
Sequent calculus as a compiler intermediate language. Zbl 1360.68326
Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon
2
2016
Structures for structural recursion. Zbl 1360.68361
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.
1
2015
The duality of construction. Zbl 1405.68079
Downen, Paul; Ariola, Zena M.
3
2014
Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046
Downen, Paul; Ariola, Zena M.
2
2014
Delimited control and computational effects. Zbl 1297.68048
Downen, Paul; Ariola, Zena M.
2
2014
A systematic approach to delimited control with multiple prompts. Zbl 1352.68041
Downen, Paul; Ariola, Zena M.
2
2012
Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043
Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis
1
2012
Classical call-by-need and duality. Zbl 1331.68041
Ariola, Zena M.; Herbelin, Hugo; Saurin, Alexis
5
2011
A type-theoretic foundation of delimited continuations. Zbl 1213.68187
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
4
2009
Control reduction theories: The benefit of structural substitution. Zbl 1138.68020
Ariola, Zena M.; Herbelin, Hugo
3
2008
A proof-theoretic foundation of abortive continuations. Zbl 1128.68089
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
7
2007
A type-theoretic foundation of continuations and prompts. Zbl 1323.68090
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
5
2004
Minimal classical logic and control operators. Zbl 1039.03019
Ariola, Zena M.; Herbelin, Hugo
9
2003
Skew confluence and the lambda calculus with letrec. Zbl 1019.03011
Ariola, Zena M.; Blom, Stefan
9
2002
From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101
Xiao, Yong; Sabry, Amr; Ariola, Zena M.
5
2001
Bisimilarity in term graph rewriting. Zbl 1045.68590
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
6
2000
The call-by-need lambda calculus. Zbl 0887.68007
Ariola, Zena M.; Felleisen, Matthias
20
1997
Lambda calculus with explicit recursion. Zbl 0892.68015
Ariola, Zena M.; Klop, Jan Willem
11
1997
Cyclic lambda calculi. Zbl 0884.03008
Ariola, Zena M.; Blom, Stefan
4
1997
Confluent rewriting of bisimilar term graphs. Zbl 0911.68090
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
3
1997
Correctness of monadic state: An imperative call-by-need calculus. Zbl 0925.68292
Ariola, Zena; Sabry, Amr
1
1997
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
29
1996
Relating graph and term rewriting via Böhm models. Zbl 0855.68049
Ariola, Zena M.
3
1996
Properties of a first-order functional language with sharing. Zbl 0873.68016
Ariola, Zena M.; Arvind
7
1995
Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511
Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
4
1994
all top 5

Cited by 135 Authors

13 Ariola, Zena M.
7 Klop, Jan Willem
6 Danvy, Olivier
5 Herbelin, Hugo
5 Schmidt-Schauß, Manfred
4 Downen, Paul
4 Sabel, David
3 Biernacki, Dariusz
3 Corradini, Andrea
3 Endrullis, Jörg
3 Gadducci, Fabio
3 Hendriks, Dimitri
3 Kesner, Delia
3 Sabry, Amr
3 Saurin, Alexis
3 Zerny, Ian
2 Ayala-Rincón, Mauricio
2 Baldan, Paolo
2 Bertolissi, Clara
2 Biernacka, Małgorzata
2 Bonelli, Eduardo
2 Duval, Dominique
2 Echahed, Rachid
2 Fernández, Maribel
2 Hamana, Makoto
2 Johnson-Freyd, Philip
2 Millikin, Kevin
2 Naibo, Alberto
2 Nielsen, Lasse R.
2 Ohlebusch, Enno
2 Plump, Detlef
2 Polesiuk, Piotr
2 Prost, Frédéric
2 Schütz, Marko
2 Sewell, Peter
2 Shan, Chung-chieh
2 Sinot, François-Régis
2 van Bakel, Steffen
2 Vial, Pierre
2 Viso, Andrés
2 Zucca, Elena
1 Accattoli, Beniamino
1 Alves, Sandra
1 Antoy, Sergio
1 Arvind, N.
1 Asada, Kazuyuki
1 Bahr, Patrick
1 Balland, Emilie
1 Banach, Richard
1 Barendregt, Hendrik Pieter
1 Bierman, Gavin M.
1 Blom, Stefan
1 Brauner, Paul
1 Bruni, Roberto
1 Capriccioli, Andrea
1 Cirstea, Horatiu
1 Dershowitz, Nachum
1 Edi, Juan
1 Erkök, Levent
1 Fagorzi, Sonia
1 Fischer, Sebastian
1 Florido, Mário
1 Grabmayer, Clemens
1 Guerrieri, Giulio
1 Hasegawa, Masahito
1 Hicks, Michael C.
1 Hirschowitz, Tom
1 Hovland, Paul D.
1 Hyland, J. Martin E.
1 Ilik, Danko
1 Intrigila, Benedetto
1 Inverardi, Paola
1 Isihara, Ariya
1 Jost, Andy
1 Jouannaud, Jean-Pierre
1 Kameyama, Yukiyoshi
1 Kirchner, Claude
1 Kiselyov, Oleg
1 Kurokawa, Hidenori
1 Lang, Frédéric
1 Lassen, Søren B.
1 Launchbury, John
1 Lenglet, Sergueï
1 Leroy, Xavier
1 Levy, Paul Blain
1 Lisper, Björn
1 Litak, Tadeusz
1 López-Fraguas, Francisco Javier
1 Machkasova, Elena
1 Mackie, Ian
1 Manfred
1 Mann, Matthias
1 Martin-Martin, Enrique
1 Matsuda, Kazutaka
1 Miquey, Étienne
1 Moggi, Eugenio
1 Montanari, Ugo G.
1 Moran, Andrew
1 Munk, Johan
1 Nakata, Keiko
...and 35 more Authors

Citations by Year