Edit Profile Ariola, Zena M. Compute Distance To: Compute Author ID: ariola.zena-m Published as: Ariola, Zena; Ariola, Zena M. External Links: MGP Documents Indexed: 31 Publications since 1994, including 1 Book all top 5 Co-Authors 2 single-authored 11 Downen, Paul 7 Herbelin, Hugo 5 Klop, Jan Willem 5 Sabry, Amr 3 Blom, Stefan 3 Johnson-Freyd, Philip 2 Plump, Detlef 2 Saurin, Alexis 1 Arvind, N. 1 de Vries, Fer-Jan J. 1 Felleisen, Matthias 1 Ghilezan, Silvia 1 Jones, Simon Peyton 1 Kennaway, Richard 1 Maurer, Luke 1 Nakata, Keiko 1 Sleep, Ronan 1 Xiao, Yong all top 5 Serials 4 Journal of Functional Programming 3 Higher-Order and Symbolic Computation 2 Information and Computation 1 Theoretical Computer Science 1 Annales Societatis Mathematicae Polonae. Series IV 1 Annals of Pure and Applied Logic 1 Applicable Algebra in Engineering, Communication and Computing 1 Fundamenta Informaticae 1 Logical Methods in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics 1 Journal of Logical and Algebraic Methods in Programming Fields 29 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 25 Publications have been cited 148 times in 94 Documents Cited by ▼ Year ▼ Equational term graph rewriting. Zbl 0854.68049Ariola, Zena M.; Klop, Jan Willem 29 1996 The call-by-need lambda calculus. Zbl 0887.68007Ariola, Zena M.; Felleisen, Matthias 20 1997 Lambda calculus with explicit recursion. Zbl 0892.68015Ariola, Zena M.; Klop, Jan Willem 11 1997 Minimal classical logic and control operators. Zbl 1039.03019Ariola, Zena M.; Herbelin, Hugo 9 2003 Skew confluence and the lambda calculus with letrec. Zbl 1019.03011Ariola, Zena M.; Blom, Stefan 9 2002 A proof-theoretic foundation of abortive continuations. Zbl 1128.68089Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 7 2007 Properties of a first-order functional language with sharing. Zbl 0873.68016Ariola, Zena M.; Arvind 7 1995 Bisimilarity in term graph rewriting. Zbl 1045.68590Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef 6 2000 Classical call-by-need and duality. Zbl 1331.68041Ariola, Zena M.; Herbelin, Hugo; Saurin, Alexis 5 2011 A type-theoretic foundation of continuations and prompts. Zbl 1323.68090Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 5 2004 From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101Xiao, Yong; Sabry, Amr; Ariola, Zena M. 5 2001 A type-theoretic foundation of delimited continuations. Zbl 1213.68187Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 4 2009 Cyclic lambda calculi. Zbl 0884.03008Ariola, Zena M.; Blom, Stefan 4 1997 Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan 4 1994 The duality of construction. Zbl 1405.68079Downen, Paul; Ariola, Zena M. 3 2014 Control reduction theories: The benefit of structural substitution. Zbl 1138.68020Ariola, Zena M.; Herbelin, Hugo 3 2008 Confluent rewriting of bisimilar term graphs. Zbl 0911.68090Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef 3 1997 Relating graph and term rewriting via Böhm models. Zbl 0855.68049Ariola, Zena M. 3 1996 Sequent calculus as a compiler intermediate language. Zbl 1360.68326Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon 2 2016 Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046Downen, Paul; Ariola, Zena M. 2 2014 Delimited control and computational effects. Zbl 1297.68048Downen, Paul; Ariola, Zena M. 2 2014 A systematic approach to delimited control with multiple prompts. Zbl 1352.68041Downen, Paul; Ariola, Zena M. 2 2012 Structures for structural recursion. Zbl 1360.68361Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. 1 2015 Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis 1 2012 Correctness of monadic state: An imperative call-by-need calculus. Zbl 0925.68292Ariola, Zena; Sabry, Amr 1 1997 Sequent calculus as a compiler intermediate language. Zbl 1360.68326Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon 2 2016 Structures for structural recursion. Zbl 1360.68361Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. 1 2015 The duality of construction. Zbl 1405.68079Downen, Paul; Ariola, Zena M. 3 2014 Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046Downen, Paul; Ariola, Zena M. 2 2014 Delimited control and computational effects. Zbl 1297.68048Downen, Paul; Ariola, Zena M. 2 2014 A systematic approach to delimited control with multiple prompts. Zbl 1352.68041Downen, Paul; Ariola, Zena M. 2 2012 Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis 1 2012 Classical call-by-need and duality. Zbl 1331.68041Ariola, Zena M.; Herbelin, Hugo; Saurin, Alexis 5 2011 A type-theoretic foundation of delimited continuations. Zbl 1213.68187Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 4 2009 Control reduction theories: The benefit of structural substitution. Zbl 1138.68020Ariola, Zena M.; Herbelin, Hugo 3 2008 A proof-theoretic foundation of abortive continuations. Zbl 1128.68089Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 7 2007 A type-theoretic foundation of continuations and prompts. Zbl 1323.68090Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr 5 2004 Minimal classical logic and control operators. Zbl 1039.03019Ariola, Zena M.; Herbelin, Hugo 9 2003 Skew confluence and the lambda calculus with letrec. Zbl 1019.03011Ariola, Zena M.; Blom, Stefan 9 2002 From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101Xiao, Yong; Sabry, Amr; Ariola, Zena M. 5 2001 Bisimilarity in term graph rewriting. Zbl 1045.68590Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef 6 2000 The call-by-need lambda calculus. Zbl 0887.68007Ariola, Zena M.; Felleisen, Matthias 20 1997 Lambda calculus with explicit recursion. Zbl 0892.68015Ariola, Zena M.; Klop, Jan Willem 11 1997 Cyclic lambda calculi. Zbl 0884.03008Ariola, Zena M.; Blom, Stefan 4 1997 Confluent rewriting of bisimilar term graphs. Zbl 0911.68090Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef 3 1997 Correctness of monadic state: An imperative call-by-need calculus. Zbl 0925.68292Ariola, Zena; Sabry, Amr 1 1997 Equational term graph rewriting. Zbl 0854.68049Ariola, Zena M.; Klop, Jan Willem 29 1996 Relating graph and term rewriting via Böhm models. Zbl 0855.68049Ariola, Zena M. 3 1996 Properties of a first-order functional language with sharing. Zbl 0873.68016Ariola, Zena M.; Arvind 7 1995 Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan 4 1994 all cited Publications top 5 cited Publications 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 all top 5 Cited in 14 Serials 16 Theoretical Computer Science 9 Journal of Functional Programming 7 Higher-Order and Symbolic Computation 6 Information and Computation 4 RAIRO. Theoretical Informatics and Applications 4 Logical Methods in Computer Science 3 Annals of Pure and Applied Logic 3 MSCS. Mathematical Structures in Computer Science 2 Information Processing Letters 2 Studia Logica 1 The Journal of Symbolic Logic 1 Applicable Algebra in Engineering, Communication and Computing 1 Theory and Practice of Logic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 86 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 6 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) Citations by Year