Edit Profile (opens in new tab) Danvy, Olivier Co-Author Distance Author ID: danvy.olivier Published as: Danvy, Olivier; Danvy, O. External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr Documents Indexed: 71 Publications since 1991 6 Contributions as Editor Co-Authors: 41 Co-Authors with 61 Joint Publications 459 Co-Co-Authors all top 5 Co-Authors 16 single-authored 7 Millikin, Kevin 6 Nielsen, Lasse R. 5 Biernacki, Dariusz 4 Biernacka, Małgorzata 4 Hatcliff, John 4 Rhiger, Morten 4 Zerny, Ian 3 Ager, Mads Sig 3 Damian, Daniel 3 Johannsen, Jacob 3 Schultz, Ulrik Pagh 2 Damain, Daniel 2 Filinski, Andrzej 2 Goldberg, Mayer 2 Grobauer, Bernd 2 Midtgaard, Jan 2 Munk, Johan 2 Shan, Chung-chieh 2 Talcott, Carolyn L. 1 Agha, Gul A. 1 Amtoft, Torben 1 Balat, Vincent 1 Banerjee, Anindya 1 Bondorf, Anders 1 Chiarabini, Luca 1 Clausen, Christian 1 Consel, Charles 1 Doh, Kyung-Goo 1 Dzafic, Belmina 1 Keller, Chantal 1 Korsholm Rohde, Henning 1 Lawall, Julia L. 1 Malmkjær, Karoline 1 Martínez-López, Pablo E. 1 Masuko, Moe 1 Meseguer Guaita, José 1 Pfenning, Frank 1 Puech, Matthias 1 Rose, Kristoffer Høgsbro 1 Spivey, Michael J. 1 Støvring, Kristian all top 5 Serials 11 Journal of Functional Programming 6 Theoretical Computer Science 5 Information Processing Letters 4 Science of Computer Programming 4 Higher-Order and Symbolic Computation 2 MSCS. Mathematical Structures in Computer Science 2 Fundamenta Informaticae 2 ACM Transactions on Computational Logic 2 Lecture Notes in Computer Science 2 Logical Methods in Computer Science 1 Journal of Computer and System Sciences 1 New Generation Computing 1 Logic Journal of the IGPL 1 The Journal of Functional and Logic Programming 1 Journal of Formalized Reasoning 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 75 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 56 Publications have been cited 308 times in 135 Documents Cited by ▼ Year ▼ Representing control: A study of the CPS transformation. Zbl 0798.68102 Danvy, Olivier; Filinski, Andrzej 34 1992 A functional correspondence between call-by-need evaluators and lazy abstract machines. Zbl 1178.68249 Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan 20 2004 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Zbl 1077.68029 Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan 17 2005 A syntactic correspondence between context-sensitive calculi and abstract machines. Zbl 1111.68065 Biernacka, Małgorzata; Danvy, Olivier 16 2007 An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050 Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier 13 2005 Back to direct style. Zbl 0808.68051 Danvy, Olivier 12 1994 Automatic autoprojection of recursive equations with global variables and abstract data types. Zbl 0745.68073 Bondorf, Anders; Danvy, Olivier 11 1991 On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. Zbl 1186.68122 Danvy, Olivier; Millikin, Kevin 11 2008 Refunctionalization at work. Zbl 1192.68115 Danvy, Olivier; Millikin, Kevin 9 2009 A concrete framework for environment machines. Zbl 1367.68093 Biernacka, Małgorzata; Danvy, Olivier 9 2007 Thunks and the \(\lambda\)-calculus. Zbl 0881.68025 Hatcliff, John; Danvy, Olivier 9 1997 From reduction-based to reduction-free normalization. Zbl 1263.68036 Danvy, Olivier 9 2009 A rational deconstruction of Landin’s SECD machine with the J operator. Zbl 1161.68012 Danvy, Olivier; Millikin, Kevin 8 2008 A rational deconstruction of Landin’s SECD machine. Zbl 1119.68330 Danvy, Olivier 8 2005 Functional unparsing. Zbl 0928.68018 Danvy, Olivier 7 1998 From interpreter to logic engine by defunctionalization. Zbl 1099.68546 Biernacki, Dariusz; Danvy, Olivier 7 2004 There and back again. Zbl 1098.68021 Danvy, Olivier; Goldberg, Mayer 7 2005 CPS transformation of beta-redexes. Zbl 1182.68045 Danvy, Olivier; Nielsen, Lasse R. 7 2005 A simple proof of a folklore theorem about delimited control. Zbl 1092.68021 Biernacki, Dariusz; Danvy, Olivier 6 2006 A first-order one-pass CPS transformation. Zbl 1049.03013 Danvy, Olivier; Nielsen, Lasse R. 6 2003 Memoization in type-directed partial evaluation. Zbl 1028.68667 Balat, Vincent; Danvy, Olivier 6 2002 Lambda-dropping: Transforming recursive equations into programs with block structure. Zbl 0949.68046 Danvy, O.; Schultz, U. P. 5 2000 On the static and dynamic extents of delimited continuations. Zbl 1101.68442 Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh 5 2006 Defunctionalized interpreters for call-by-need evaluation. Zbl 1284.68129 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 5 2010 A computational formalization for partial evaluation. Zbl 0883.68091 Hatcliff, John; Danvy, Olivier 4 1997 On proving syntactic properties of CPS programs. Zbl 0958.68022 Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank 3 1999 A higher-order colon translation. Zbl 0977.68009 Danvy, Olivier; Nielsen, Lasse R. 3 2001 Syntactic accidents in program analysis: On the impact of the CPS transformation. Zbl 1110.68357 Damain, Daniel; Danvy, Olivier 3 2003 From reduction-based to reduction-free normalization. Zbl 1272.68176 Danvy, Olivier 3 2005 On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation. Zbl 1244.68026 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 3 2012 On the dynamic extent of delimited continuations. Zbl 1191.68157 Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh 3 2005 On one-pass CPS transformations. Zbl 1130.68037 Danvy, Olivier; Millikin, Kevin; Nielsen, Lasse R. 3 2007 The abstraction and instantiation of string-matching programs. Zbl 1026.68508 Amtoft, Torben; Consel, Charles; Danvy, Olivier; Malmkjær, Karoline 3 2002 Formalizing implementation strategies for first-class continuations. Zbl 0960.68031 Danvy, Olivier 2 2000 An extensional characterization of lambda-lifting and lambda-dropping. Zbl 0988.68525 Danvy, Olivier 2 1999 Lambda-lifting in quadratic time. Zbl 1084.68516 Danvy, Olivier; Schultz, Ulrik P. 2 2004 Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. Zbl 1225.68006 2 2011 Syntactic theories in practice. Zbl 1268.68065 Danvy, Olivier; Nielsen, Lasse R. 2 2001 Program extraction from proofs of weak head normalization. Zbl 1273.03098 Biernacka, Małgorzata; Danvy, Olivier; Støvring, Kristian 2 2006 Folding left and right over Peano numbers. Zbl 1493.68084 Danvy, Olivier 2 2019 Three syntactic theories for combinatory graph reduction. Zbl 1326.68090 Danvy, Olivier; Zerny, Ian 2 2011 Inter-deriving semantic artifacts for object-oriented programming. Zbl 1206.68079 Danvy, Olivier; Johannsen, Jacob 2 2010 Tagging, encoding, and Jones optimality. Zbl 1032.68571 Danvy, Olivier; López, Pablo E. Martínez 2 2003 Syntactic accidents in program analysis: on the impact of the CPS transformation. Zbl 1321.68179 Damian, Daniel; Danvy, Olivier 1 2000 From outermost reduction semantics to abstract machine. Zbl 1453.68045 Danvy, Olivier; Johannsen, Jacob 1 2014 Normalization by evaluation with typed abstract syntax. Zbl 1037.68095 Danvy, Olivier; Rhiger, Morten; Rose, Kristoffer H. 1 2001 A simple CPS transformation of control-flow information. Zbl 1009.68025 Damian, Daniel; Danvy, Olivier 1 2002 Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21–23, 2001. Proceedings. Zbl 0961.00027 1 2001 On Barron and Strachey’s Cartesian product function. Zbl 1291.68115 Danvy, Olivier; Spivey, Michael 1 2007 A rational deconstruction of Landin’s J operator. Zbl 1236.68026 Danvy, Olivier; Millikin, Kevin 1 2006 Getting there and back again. Zbl 07523101 Danvy, Olivier 1 2022 Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. Zbl 1511.68052 Danvy, Olivier 1 2022 Inter-deriving semantic artifacts for object-oriented programming. (Extended abstract). Zbl 1155.68355 Danvy, Olivier; Johannsen, Jacob 1 2008 Lambda-lifting in quadratic time. Zbl 1019.68522 Danvy, Olivier; Schultz, Ulrik P. 1 2002 A new one-pass transformation into monadic normal form. Zbl 1032.68844 Danvy, Olivier 1 2003 On the transformation between direct and continuation semantics. Zbl 1509.68146 Danvy, Olivier; Hatcliff, John 1 1994 Getting there and back again. Zbl 07523101 Danvy, Olivier 1 2022 Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. Zbl 1511.68052 Danvy, Olivier 1 2022 Folding left and right over Peano numbers. Zbl 1493.68084 Danvy, Olivier 2 2019 From outermost reduction semantics to abstract machine. Zbl 1453.68045 Danvy, Olivier; Johannsen, Jacob 1 2014 On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation. Zbl 1244.68026 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 3 2012 Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. Zbl 1225.68006 2 2011 Three syntactic theories for combinatory graph reduction. Zbl 1326.68090 Danvy, Olivier; Zerny, Ian 2 2011 Defunctionalized interpreters for call-by-need evaluation. Zbl 1284.68129 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian 5 2010 Inter-deriving semantic artifacts for object-oriented programming. Zbl 1206.68079 Danvy, Olivier; Johannsen, Jacob 2 2010 Refunctionalization at work. Zbl 1192.68115 Danvy, Olivier; Millikin, Kevin 9 2009 From reduction-based to reduction-free normalization. Zbl 1263.68036 Danvy, Olivier 9 2009 On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. Zbl 1186.68122 Danvy, Olivier; Millikin, Kevin 11 2008 A rational deconstruction of Landin’s SECD machine with the J operator. Zbl 1161.68012 Danvy, Olivier; Millikin, Kevin 8 2008 Inter-deriving semantic artifacts for object-oriented programming. (Extended abstract). Zbl 1155.68355 Danvy, Olivier; Johannsen, Jacob 1 2008 A syntactic correspondence between context-sensitive calculi and abstract machines. Zbl 1111.68065 Biernacka, Małgorzata; Danvy, Olivier 16 2007 A concrete framework for environment machines. Zbl 1367.68093 Biernacka, Małgorzata; Danvy, Olivier 9 2007 On one-pass CPS transformations. Zbl 1130.68037 Danvy, Olivier; Millikin, Kevin; Nielsen, Lasse R. 3 2007 On Barron and Strachey’s Cartesian product function. Zbl 1291.68115 Danvy, Olivier; Spivey, Michael 1 2007 A simple proof of a folklore theorem about delimited control. Zbl 1092.68021 Biernacki, Dariusz; Danvy, Olivier 6 2006 On the static and dynamic extents of delimited continuations. Zbl 1101.68442 Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh 5 2006 Program extraction from proofs of weak head normalization. Zbl 1273.03098 Biernacka, Małgorzata; Danvy, Olivier; Støvring, Kristian 2 2006 A rational deconstruction of Landin’s J operator. Zbl 1236.68026 Danvy, Olivier; Millikin, Kevin 1 2006 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Zbl 1077.68029 Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan 17 2005 An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050 Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier 13 2005 A rational deconstruction of Landin’s SECD machine. Zbl 1119.68330 Danvy, Olivier 8 2005 There and back again. Zbl 1098.68021 Danvy, Olivier; Goldberg, Mayer 7 2005 CPS transformation of beta-redexes. Zbl 1182.68045 Danvy, Olivier; Nielsen, Lasse R. 7 2005 From reduction-based to reduction-free normalization. Zbl 1272.68176 Danvy, Olivier 3 2005 On the dynamic extent of delimited continuations. Zbl 1191.68157 Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh 3 2005 A functional correspondence between call-by-need evaluators and lazy abstract machines. Zbl 1178.68249 Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan 20 2004 From interpreter to logic engine by defunctionalization. Zbl 1099.68546 Biernacki, Dariusz; Danvy, Olivier 7 2004 Lambda-lifting in quadratic time. Zbl 1084.68516 Danvy, Olivier; Schultz, Ulrik P. 2 2004 A first-order one-pass CPS transformation. Zbl 1049.03013 Danvy, Olivier; Nielsen, Lasse R. 6 2003 Syntactic accidents in program analysis: On the impact of the CPS transformation. Zbl 1110.68357 Damain, Daniel; Danvy, Olivier 3 2003 Tagging, encoding, and Jones optimality. Zbl 1032.68571 Danvy, Olivier; López, Pablo E. Martínez 2 2003 A new one-pass transformation into monadic normal form. Zbl 1032.68844 Danvy, Olivier 1 2003 Memoization in type-directed partial evaluation. Zbl 1028.68667 Balat, Vincent; Danvy, Olivier 6 2002 The abstraction and instantiation of string-matching programs. Zbl 1026.68508 Amtoft, Torben; Consel, Charles; Danvy, Olivier; Malmkjær, Karoline 3 2002 A simple CPS transformation of control-flow information. Zbl 1009.68025 Damian, Daniel; Danvy, Olivier 1 2002 Lambda-lifting in quadratic time. Zbl 1019.68522 Danvy, Olivier; Schultz, Ulrik P. 1 2002 A higher-order colon translation. Zbl 0977.68009 Danvy, Olivier; Nielsen, Lasse R. 3 2001 Syntactic theories in practice. Zbl 1268.68065 Danvy, Olivier; Nielsen, Lasse R. 2 2001 Normalization by evaluation with typed abstract syntax. Zbl 1037.68095 Danvy, Olivier; Rhiger, Morten; Rose, Kristoffer H. 1 2001 Programs as data objects. 2nd symposium, PADO 2001, Aarhus, Denmark, May 21–23, 2001. Proceedings. Zbl 0961.00027 1 2001 Lambda-dropping: Transforming recursive equations into programs with block structure. Zbl 0949.68046 Danvy, O.; Schultz, U. P. 5 2000 Formalizing implementation strategies for first-class continuations. Zbl 0960.68031 Danvy, Olivier 2 2000 Syntactic accidents in program analysis: on the impact of the CPS transformation. Zbl 1321.68179 Damian, Daniel; Danvy, Olivier 1 2000 On proving syntactic properties of CPS programs. Zbl 0958.68022 Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank 3 1999 An extensional characterization of lambda-lifting and lambda-dropping. Zbl 0988.68525 Danvy, Olivier 2 1999 Functional unparsing. Zbl 0928.68018 Danvy, Olivier 7 1998 Thunks and the \(\lambda\)-calculus. Zbl 0881.68025 Hatcliff, John; Danvy, Olivier 9 1997 A computational formalization for partial evaluation. Zbl 0883.68091 Hatcliff, John; Danvy, Olivier 4 1997 Back to direct style. Zbl 0808.68051 Danvy, Olivier 12 1994 On the transformation between direct and continuation semantics. Zbl 1509.68146 Danvy, Olivier; Hatcliff, John 1 1994 Representing control: A study of the CPS transformation. Zbl 0798.68102 Danvy, Olivier; Filinski, Andrzej 34 1992 Automatic autoprojection of recursive equations with global variables and abstract data types. Zbl 0745.68073 Bondorf, Anders; Danvy, Olivier 11 1991 all cited Publications top 5 cited Publications all top 5 Cited by 187 Authors 25 Danvy, Olivier 6 Biernacki, Dariusz 5 Asai, Kenichi 5 Biernacka, Małgorzata 5 Nielsen, Lasse R. 5 Shan, Chung-chieh 4 Kameyama, Yukiyoshi 4 Millikin, Kevin 3 Bahr, Patrick 3 Hutton, Graham 3 Ilik, Danko 3 Johannsen, Jacob 3 Kiselyov, Oleg 3 Lindley, Sam 3 Midtgaard, Jan 3 Saurin, Alexis 3 Zerny, Ian 2 Ager, Mads Sig 2 Atkey, Robert 2 Bach Poulsen, Casper 2 Bloo, Roel 2 Charatonik, Witold 2 Filinski, Andrzej 2 Ghica, Dan R. 2 Glück, Robert 2 Herbelin, Hugo 2 Hillerström, Daniel 2 Ishio, Chiaki 2 Kamareddine, Fairouz D. 2 Lenglet, Sergueï 2 Levy, Paul Blain 2 Might, Matthew 2 Mosses, Peter D. 2 Nakano, Hiroshi 2 Nakazawa, Koji 2 Pientka, Brigitte 2 Polesiuk, Piotr 2 Pottier, François 2 Sabry, Amr 2 Tatsuta, Makoto 2 Thielecke, Hayo 2 Thiemann, Peter J. 1 Acar, Umut A. 1 Aehlig, Klaus 1 Albert, Elvira 1 Angiuli, Carlo 1 Ariola, Zena M. 1 Asperti, Andrea 1 Barthe, Gilles 1 Bauer, Andrej 1 Bezirgiannis, Nikolaos 1 Bondorf, Anders 1 Boudol, Gérard 1 Brachthäuser, Jonathan Immanuel 1 Brics, Mārtiņš 1 Buszka, Maciej 1 Calcagno, Cristiano 1 Carette, Jacques 1 Chadwick, Bryan 1 Chroboczek, Juliusz 1 Clark, Tony 1 Clarke, Dave 1 Cong, Youyou 1 Dal Lago, Ugo 1 Dardha, Ornela 1 Dargaye, Zaynah 1 de Boer, Frank S. 1 de Vilhena, Paulo Emílio 1 Denvy, Olivier 1 Dybjer, Peter 1 Dyvbig, R. Kent 1 Eker, Steven 1 Espírito Santo, José Carlos 1 Fatahalian, Kayvon 1 Felleisen, Matthias 1 Feltman, Nicolas 1 Felty, Amy P. 1 Fernandes, João Paulo 1 Fernández, Maribel 1 Fowler, Simon 1 Friedman, Daniel P. 1 Führmann, Carsten 1 Futamura, Yoshihiko 1 García-Pérez, Álvaro 1 Gauthier, Nadji 1 Georges, Aina Linn 1 Geron, Bram 1 Geuvers, Jan Herman 1 Ghuloum, Abdulaziz 1 Graunke, Paul T. 1 Guillemette, Louis-Julien 1 Haftmann, Florian 1 Hammond, Kevin 1 Hatcliff, John 1 Helsen, Simon 1 Hinze, Ralf 1 Honda, Kaho 1 Hopkins, Peter Walton 1 Hu, Jason Z. S. 1 Hu, Zhenjiang ...and 87 more Authors all top 5 Cited in 20 Serials 19 Journal of Functional Programming 19 Higher-Order and Symbolic Computation 13 Theoretical Computer Science 7 Information Processing Letters 6 Logical Methods in Computer Science 5 Journal of Logical and Algebraic Methods in Programming 3 Annals of Pure and Applied Logic 3 New Generation Computing 3 Information and Computation 2 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 2 Fundamenta Informaticae 2 The Journal of Logic and Algebraic Programming 1 Journal of Computer and System Sciences 1 Journal of Computer Science and Technology 1 Journal of Automated Reasoning 1 Applicable Algebra in Engineering, Communication and Computing 1 ACM Transactions on Computational Logic 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 6 Fields 125 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.