You are here: About » People and Locations » People » Olivier Danvy » Publications

Olivier Danvy

1 - 100 out of 206Page size: 100
RSS feed of this list
Sort by: Publication year
  1. 2012
  2. Accepted

    On Inter-deriving Small-step and Big-step Semantics : A Case Study for Storeless Call-by-need Evaluation. / Danvy, Olivier ; Zerny, Ian.

    In: Theoretical Computer Science, 2012.

    Publication: Research - peer-review › Journal article

  3. Accepted

    Three Syntactic Theories for Combinatory Graph Reduction. / Danvy, Olivier ; Zerny, Ian.

    In: A C M Transactions on Computational Logic, 2012.

    Publication: Research - peer-review › Journal article

  4. 2011
  5. Published

    A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration. / Cherabini, Luca ; Danvy, Olivier.

    In: Journal of Formalized Reasoning, Vol. 4, No. 1, 2011, p. 85-109.

    Publication: Research - peer-review › Journal article

  6. Published

    A Walk in the Semantic Park. / Danvy, Olivier ; Johannsen, Jacob ; Zerny, Ian.

    In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation . ed. / Siau-Cheng Khoo ; Jeremy Siek. Association for Computing Machinery, 2011. p. 1-12.

    Publication: Research › Article in proceedings

  7. Published

    Abstracting abstract machines: technical perspective. / Danvy, Olivier ; Midtgaard, Jan.

    In: Association for Computing Machinery. Communications, Vol. 54, No. 9, 2011, p. 100-100.

    Publication: Research - peer-review › Literature review

  8. Published

    Formal Modeling : Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. / Agha, Gul (Editor) ; Danvy, Olivier (Editor) ; Meseguer, José (Editor).

    Springer, 2011. 445 p. (Lecture Notes in Computer Science; 7000).

    Publication: Research › Anthology

  9. Published

    Pragmatics for formal semantics. / Danvy, Olivier.

    In: Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering . Association for Computing Machinery, 2011. p. 93-94.

    Publication: Research - peer-review › Conference abstract in proceedings

  10. Published

    Proceedings IFIP Working Conference on Domain-Specific Languages. / Danvy, Olivier (Editor) ; Shan, Chung-chieh (Editor).

    2011. 260 p.

    Publication: Research › Anthology

  11. Published

    Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. / Chakravarty, Manuel (Editor) ; Hu, Zhenjiang (Editor) ; Danvy, Olivier.

    Association for Computing Machinery, 2011. 458 p.

    Publication: Research › Anthology

  12. Published

    Three Syntactic Theories for Combinatory Graph Reduction. / Danvy, Olivier ; Zerny, Ian.

    In: Lecture Notes in Computer Science, Vol. 6564, 2011, p. 1-20.

    Publication: Research - peer-review › Conference article

  13. 2010
  14. Published

    Defunctionalized Interpreters for Call-by-Need Evaluation. / Danvy, Olivier ; Millikin, Kevin ; Munk, Johan ; Zerny, Ian.

    In: Lecture Notes in Computer Science, Vol. 6009, 2010, p. 240-256.

    Publication: Research - peer-review › Conference article

  15. Published

    Editorial. / Danvy, Olivier ; Talcott, Carolyn.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 4, 2010, p. 293.

    Publication: Research › Editorial

  16. Published

    Editorial. / Danvy, Olivier ; Talcott, Carolyn.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 3, 2010, p. 197.

    Publication: Research › Editorial

  17. Published

    Inter-deriving Semantic Artifacts for Object-Oriented Programming. / Danvy, Olivier ; Johannsen, Jacob.

    In: Journal of Computer and System Sciences, Vol. 76, No. 5, 2010, p. 302-323.

    Publication: Research - peer-review › Journal article

  18. 2009
  19. Published

    Editorial. / Danvy, Olivier ; Padget, John.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 1, 2009, p. 1-1.

    Publication: Research › Editorial

  20. Published

    Editorial. / Danvy, Olivier ; Talcott, Carolyn.

    In: Higher-Order and Symbolic Computation, Vol. 22, No. 2, 2009, p. 113-113.

    Publication: Research › Editorial

  21. Published

    From Reduction-Based to Reduction-Free Normalization : Lecture notes including 70+ exercises. / Danvy, Olivier.

    In: Lecture Notes in Computer Science, 2009, p. 66-164.

    Publication: Research - peer-review › Conference article

  22. Published

    J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. / Danvy, Olivier ; Shan, Chung-chieh ; Zerny, Ian Steven.

    In: Lecture Notes in Computer Science, 2009, p. 1-19.

    Publication: Research - peer-review › Conference article

  23. Published

    Peter J. Landin (1930-2009). / Danvy, Olivier.

    In: Proceedings of the Scheme and Functional Programming Workshop. ed. / John Clements. California Polytechnic State University - San Luis Obispo, 2009. p. 126-129 (Cal Poly TR CPSLO-CSC).

    Publication: Research - peer-review › Article in proceedings

  24. Published

    Refunctionalization at Work. / Danvy, Olivier ; Millikin, Kevin.

    In: Science of Computer Programming, Vol. 74, No. 8, 2009, p. 534-549.

    Publication: Research - peer-review › Journal article

  25. Published

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. / Danvy, Olivier.

    In: Lecture Notes in Computer Science, Vol. 5700, 2009, p. 162-185.

    Publication: Research - peer-review › Journal article

  26. Published

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. / Biernacka, Malgorzata ; Danvy, Olivier.

    In: Lecture Notes in Computer Science, Vol. 5700, 2009, p. 186-206.

    Publication: Research - peer-review › Journal article

  27. 2008
  28. Published

    A Rational Deconstruction of Landin's SECD Machine with the J Operator. / Danvy, Olivier ; Millikin, Kevin.

    In: Logical Methods in Computer Science, Vol. 4, No. 4:12, 2008, p. 1.

    Publication: Research - peer-review › Journal article

  29. Published

    Automatic Program Development : A Tribute to Robert Paige. / Danvy, Olivier (Editor) ; Henglein, Fritz (Editor) ; Mairson, Harry (Editor) ; Pettorossi, Alberto (Editor).

    Springer, 2008. 274 p.

    Publication: Research › Anthology

  30. Published

    Defunctionalized Interpreters for Programming Languages. / Danvy, Olivier.

    In: A C M / S I G P L A N Notices, No. 9, 2008, p. 131-142.

    Publication: Research - peer-review › Conference article

  31. Published

    Higher-Order and Symbolic Computation : Editorial. / Danvy, Olivier ; Mason, Ian.

    In: Higher-Order and Symbolic Computation, Vol. 21, No. 4, 2008, p. 359.

    Publication: Research › Editorial

  32. Published

    Higher-Order and Symbolic Computation. LISP and Symbolic Computationditorial. : Editorial. / Danvy, Olivier ; Dybvig, R. Kent ; Lawall, Julia ; Thiemann, Peter.

    In: Higher-Order and Symbolic Computation, Vol. 21, No. 3, 2008, p. 237-238.

    Publication: Research › Editorial

  33. Published

    Inter-deriving Semantic Artifacts for Object-Oriented Programming. / Danvy, Olivier ; Johannsen, Jacob.

    In: Lecture Notes in Computer Science, 2008, p. 1-16.

    Publication: Research - peer-review › Conference article

  34. Published

    On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. / Danvy, Olivier ; Millikin, Kevin.

    In: Information Processing Letters, Vol. 106, No. 3, 2008, p. 100-109.

    Publication: Research - peer-review › Journal article

  35. Published

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. / Danvy, Olivier.

    In: Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming. ed. / William Clinger. Association for Computing Machinery, 2008. p. 21-36.

    Publication: Research - peer-review › Article in proceedings

  36. Published

    Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. / Biernacka, Malgorzata ; Danvy, Olivier.

    In: Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming. ed. / William Clinger. Association for Computing Machinery, 2008. p. 37-48.

    Publication: Research - peer-review › Article in proceedings

  37. 2007
  38. Published

    A Concrete Framework for Environment Machines. / Biernacka, Malgorzata ; Danvy, Olivier.

    In: A C M Transactions on Computational Logic, Vol. 9, No. 1, 2007, p. 1-30.

    Publication: Research - peer-review › Journal article

  39. Published

    A Rational Deconstruction of Landin's J Operator. / Danvy, Olivier ; Millikin, Kevin.

    In: Lecture Notes in Computer Science, Vol. 4015, 2007, p. 55-73.

    Publication: Research - peer-review › Journal article

  40. Published

    A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines. / Danvy, Olivier ; Millikin, Kevin.

    In: B R I C S Report Series, No. RS-07-8, 2007.

    Publication: Research › Journal article

  41. Published

    A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. / Biernacka, Malgorzata ; Danvy, Olivier.

    In: Theoretical Computer Science, Vol. 375, No. 1-3, 2007, p. 76-108.

    Publication: Research - peer-review › Journal article

  42. Published

    A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. / Biernacka, Malgorzata ; Danvy, Olivier.

    In: Theoretical Computer Science, 2007, p. 76-108.

    Publication: Research - peer-review › Journal article

  43. Published

    Festschrift for John C. Reynolds at the Occasion of his 70th Birthday. / Danvy, Olivier ; O'Hearn, Peter ; Wadler, Philip.

    Pergamon Press, 2007.

    Publication: Research › Book

  44. Published

    On Barron and Strachey's Cartesian Product Function : Possibly the world's first functional pearl. / Danvy, Olivier ; Spivey, Mike.

    In: Proceedings of the 12th ACM SIGPLAN International Conference  on Functional Programming, ICFP 2007. ed. / Ralf Hinze ; Norman Ramsey. Association for Computing Machinery, 2007. p. 41-46.

    Publication: Research - peer-review › Article in proceedings

  45. Published

    On One-Pass CPS Transformations. / Danvy, Olivier ; Millikin, Kevin.

    In: Journal of Functional Programming, Vol. 17, No. 6, 2007, p. 793-812.

    Publication: Research - peer-review › Journal article

  46. Published

    On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion. / Danvy, Olivier ; Millikin, Kevin.

    In: B R I C S Report Series, No. RS-07-16, 2007, p. i-11.

    Publication: Research › Journal article

  47. Published

    Preface. / Danvy, Olivier ; O'Hearn, Peter ; Wadler, Philip.

    In: Theoretical Computer Science, Vol. 375, No. 1-3, 2007, p. 1-2.

    Publication: Research › Editorial

  48. Published

    Refunctionalization at Work. / Danvy, Olivier ; Millikin, Kevin.

    In: B R I C S Report Series, No. RS-07-7, 2007.

    Publication: Research › Journal article

  49. 2006
  50. Published

    Automatic Program Development : A Tribute to Robert Paige. / Danvy, Olivier (Editor).

    In: Mangler titel. 2006.

    Publication: Research › Book chapter

  51. Published

    Theoretical Computer Science : Festschrift for John C. Reynolds's 70th birthday. / Danvy, Olivier (Editor).

    In: Mangler titel. 2006.

    Publication: Research › Book chapter

  52. Published

    A Rational Deconstruction of Landin's J Operator. / Danvy, Olivier ; Millikin, Kevin.

    In: B R I C S Report Series, No. RS-06-17, 2006.

    Publication: Research › Journal article

  53. Published

    A Simple Proof of a Folklore Theorem about Delimited Control. / Biernacki, Dariusz ; Danvy, Olivier.

    In: Journal of Functional Programming, Vol. 16, No. 3, 2006, p. 269-280.

    Publication: Research - peer-review › Journal article

  54. Published

    An Analytical Approach to Program as Data Objects. / Danvy, Olivier.

    University of Aarhus : BRICS Research Series, 2006. 118 p.

    Publication: Research › Doctoral thesis

  55. Published

    Editorial. / Danvy, Olivier ; de Moor, Oege ; Padget, Julian ; Thiemann, Peter.

    In: Higher-Order and Symbolic Computation, Vol. 19, No. 1, 2006, p. 5-5.

    Publication: Research › Editorial

  56. Published

    Editorial. / Danvy, Olivier ; Filinski, Andrzej ; Giavitto, Jean-Louis ; Moreau, Pierre-Etienne ; Talcott, Carolyn.

    In: Higher-Order and Symbolic Computation, Vol. 19, No. 1, 2006, p. 343-344.

    Publication: Research › Editorial

  57. Published

    Fast Partial Evaluation of Pattern Matching in Strings. / Ager, Mads Sig ; Danvy, Olivier ; Rohde, Henning Korsholm.

    In: A C M Transactions on Programming Languages and Systems, Vol. 28, No. 4, 2006, p. 696-714.

    Publication: Research - peer-review › Journal article

  58. External

    Interview in popular science program at the Estonian National Radio. / Danvy, Olivier.

    2006,.

    Publication: Research › Other contribution

  59. Published

    On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation. / Danvy, Olivier ; Rohde, Henning Korsholm.

    In: Information Processing Letters, Vol. 99, No. 4, 2006, p. 158-162.

    Publication: Research - peer-review › Journal article

  60. Published

    On the Static and Dynamic Extents of Delimited Continuations. / Biernacki, Dariusz Piotr ; Danvy, Olivier ; Shan, Chung-chieh.

    In: Science of Computer Programming, Vol. 60, No. 3, 2006, p. 274-297.

    Publication: Research - peer-review › Journal article

  61. 2005
  62. Published

    A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. / Biernacki, Dariusz ; Danvy, Olivier ; Millikin, Kevin Scott.

    In: B R I C S Report Series, No. RS-05-16, 2005, p. 1-26.

    Publication: Research › Journal article

  63. Published

    A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. / Ager, Mads Sig ; Danvy, Olivier ; Midtgaard, Jan.

    In: Theoretical Computer Science, Vol. 342, No. 1, 2005, p. 149-172.

    Publication: Research - peer-review › Journal article

  64. Published

    A Simple Proof of a Folklore Theorem about Delimited Control. / Biernacki, Dariusz ; Danvy, Olivier.

    In: B R I C S Report Series, No. RS-05-25, 2005.

    Publication: Research › Journal article

  65. Published

    A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. / Biernacka, Malgorzata ; Danvy, Olivier.

    In: B R I C S Report Series, No. RS-05-38, 2005.

    Publication: Research › Journal article

  66. Published

    An Operational Foundation for Delimited Continuations in the CPS Hierarchy. / Biernacka, Malgorzata ; Biernacki, Dariusz ; Danvy, Olivier.

    In: Logical Methods in Computer Science, Vol. 1, No. 2, 2005.

    Publication: Research - peer-review › Journal article

  67. Published

    CPS Transformation of Beta-Redexes. / Danvy, Olivier ; Nielsen, Lasse.

    In: Information Processing Letters, Vol. 94, No. 5, 2005, p. 217-224.

    Publication: Research - peer-review › Journal article

  68. External

    Editorial. / Danvy, Olivier (Editor) ; Henglein, Fritz (Editor) ; Mairson, Harry (Editor) ; Pettorossi, Alberto (Editor).

    In: Higher-Order and Symbolic Computation, Vol. 18, No. 1-2, 2005, p. 5-6.

    Publication: Research › Editorial

  69. Published

    Extracting Evaluators from Proofs of Weak Head Normalization. / Biernacka, Malgorzata ; Danvy, Olivier ; Sørensen, Kristian Støvring.

    In: Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2005.

    Publication: Research - peer-review › Article in proceedings

  70. Published

    From Reduction-based to Reduction-free Normalization. / Danvy, Olivier.

    In: Electronic Notes in Theoretical Computer Science, Vol. 124, No. 2, 2005, p. 79-100.

    Publication: Research - peer-review › Journal article

  71. Published

    On the Dynamic Extent of Delimited Continuations. / Biernacki, Dariusz ; Danvy, Olivier ; Shan, Ken.

    In: Information Processing Letters, Vol. 96, No. 1, 2005, p. 7-17.

    Publication: Research - peer-review › Journal article

  72. Published

    On the Static and Dynamic Extent of Delimited Continuations. / Biernacki, Dariusz ; Danvy, Olivier.

    In: B R I C S Report Series, No. RS-05-36, 2005.

    Publication: Research › Journal article

  73. Published

    Program Extraction from Proofs of Weak Head Normalization. / Biernacka, Malgorzata ; Danvy, Olivier ; Støvring, Kristian.

    In: B R I C S Report Series, No. RS-05-12, 2005.

    Publication: Research › Journal article

  74. Published

    There and Back Again. / Danvy, Olivier ; Goldberg, Mayer.

    In: Fundamenta Informaticae, Vol. 66, No. 4, 2005, p. 397-413.

    Publication: Research - peer-review › Journal article

  75. 2004
  76. Published

    A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. / Ager, Mads Sig ; Danvy, Olivier ; Midtgaard, Jan.

    In: Information Processing Letters, Vol. 90, No. 5, 2004, p. 223-232.

    Publication: Research - peer-review › Journal article

  77. Published

    A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. / Ager, Mads Sig ; Danvy, Olivier ; Midtgaard, Jan.

    In: B R I C S Report Series, No. RS-04-3, 2004.

    Publication: Research › Journal article

  78. Published

    A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. / Ager, Mads Sig ; Danvy, Olivier ; Midtgaard, Jan.

    In: B R I C S Report Series, No. RS-04-28, 2004.

    Publication: Research › Journal article

  79. Published

    An Operational Foundation for Delimited Continuations. / Biernacka, Malgorzata ; Biernacki, Dariusz ; Danvy, Olivier.

    In: Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations. Association for Computing Machinery, 2004. p. 25-33.

    Publication: Research - peer-review › Article in proceedings

  80. Published

    An Operational Foundation for Delimited Continuations in the CPS Hierarchy. / Biernacka, Malgorzata ; Biernacki, Dariusz ; Danvy, Olivier.

    In: B R I C S Report Series, No. RS-04-29, 2004.

    Publication: Research › Journal article

  81. Published

    CPS Transformation of Beta-Redexes. / Danvy, O. ; Nielsen, L.R..

    In: B R I C S Report Series, No. RS-04-39, 2004.

    Publication: Research › Journal article

  82. Published

    Editorial : Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. / Chin, W. ; Danvy, O. ; Thiemann, P..

    In: Higher-Order and Symbolic Computation, Vol. 17, No. 1-2, 2004, p. 5-6.

    Publication: Research › Editorial

  83. Published

    Editorial. / Basin, D.A. ; Danvy, O. ; Harper, R..

    In: Higher-Order and Symbolic Computation, Vol. 17, No. 3, 2004, p. 171-171.

    Publication: Research - peer-review › Editorial

  84. Published

    Fast Partial Evaluation of Pattern Matching in Strings. / Ager, M.S. ; Danvy, O. ; Rohde, H.K..

    In: B R I C S Report Series, No. RS-04-40, 2004.

    Publication: Research › Journal article

  85. Published

    From Interpreter to Logic Engine by Defunctionalization. / Biernacki, Dariusz ; Danvy, Olivier.

    In: B R I C S Report Series, No. RS-04-5, 2004.

    Publication: Research › Journal article

  86. Published

    From Interpreter to logic Engine by Defunctionalization. / Biernacki, Dariusz ; Danvy, Olivier.

    In: Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. ed. / Maurice Bruynooghe. Springer, 2004. p. 143-159 (Lecture Notes in Computer Science).

    Publication: Research › Book chapter

  87. Published

    From Reduction-Based to Reduction-Free Normalization. / Danvy, O..

    In: B R I C S Report Series, No. RS-04-30, 2004.

    Publication: Research › Journal article

  88. Published

    Lambda-Lifting in Quadratic Time. / Danvy, Olivier ; Schultz, Ulrik Pagh.

    In: B R I C S Report Series, No. RS-04-12, 2004.

    Publication: Research › Journal article

  89. Published

    Lambda-lifting in Quadratic Time. / Danvy, O. ; Schultz, U.P..

    In: Journal of Functional and Logic Programming (JFLP), Vol. 2004, No. 1, 2004.

    Publication: Research - peer-review › Journal article

  90. Published

    On Evaluation Contexts, Continuations, and the Rest of the Computation. / Danvy, Olivier.

    In: Ikke angivet. CSR-04-1 of Technical Reports. ed. School of Computer Science, University of Birmingham, 2004. p. 13-23.

    Publication: Research - peer-review › Article in proceedings

  91. Published

    Refocusing in Reduction Semantics. / Danvy, O. ; Nielsen, L.R..

    In: B R I C S Report Series, No. RS-04-26, 2004.

    Publication: Research › Journal article

  92. Published

    Sur un Exemple de Patrick Greussay. / Danvy, O..

    In: B R I C S Report Series, No. RS-04-41, 2004.

    Publication: Research › Journal article

  93. 2003
  94. Published

    A First-Order One-Pass CPS Transformation. / Danvy, Olivier ; Nielsen, Lasse Reichstein.

    In: Theoretical Computer Science, Vol. 308, No. 1, 2003, p. 239-257.

    Publication: Research - peer-review › Journal article

  95. Published

    A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. / Ager, Mads Sig ; Danvy, Olivier ; Midtgaard, Jan.

    In: B R I C S Report Series, No. RS-03-24, 2003.

    Publication: Research › Journal article

  96. Published

    A Functional Correspondence Between Evaluators and Abstract Machines. / Ager, Mads Sig ; Biernacki, Dariusz ; Danvy, Olivier ; Midtgaard, Jan.

    In: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming. ed. / Konstantinos Sagonas ; Dale Miller. Association for Computing Machinery, 2003. p. 8-19.

    Publication: Research - peer-review › Article in proceedings

  97. Published

    A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. / Ager, M.S. ; Danvy, O. ; Midtgaard, J..

    In: B R I C S Report Series, No. RS-03-35, 2003.

    Publication: Research › Journal article

  98. Published

    A Journey from Interpreters to Compilers and Virtual Machines. / Danvy, Olivier.

    In: Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings. ed. / Frank Pfenning ; Yannis Smaragdakis. Springer, 2003. p. 117 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  99. Published

    A New One-Pass Transformation into Monadic Normal Form. / Danvy, Olivier.

    In: Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. ed. / Görel Hedin. Springer, 2003. p. 77-89 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings

  100. Published

    A Rational Deconstruction of Landin's SECD Machine. / Danvy, Olivier.

    In: B R I C S Report Series, No. RS-03-33, 2003.

    Publication: Research › Journal article

  101. Published

    An Operational Foundation for Delimited Continuations. / Biernacka, M. ; Biernacki, D. ; Danvy, O..

    In: B R I C S Report Series, No. RS-03-41, 2003.

    Publication: Research › Journal article

  102. Published

    CPS Transformation of Flow Information, Part II : Administrative Reductions. / Damian, D. ; Danvy, Olivier.

    In: Journal of Functional Programming, Vol. 13, No. 5, 2003, p. 925-933.

    Publication: Research › Journal article

  103. Published

    Fast Partial Evaluation of Pattern Matching in Strings. / Ager, Mads Sig ; Danvy, Olivier ; Rohde, Henning Korsholm.

    In: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery, 2003. p. 3-9.

    Publication: Research - peer-review › Article in proceedings

  104. Published

    Fast Partial Evaluation of Pattern Matching in Strings.. / Ager, Mads Sig ; Danvy, Olivier ; Rohde, Henning Korsholm.

    In: B R I C S Report Series, No. RS-03-11, 2003.

    Publication: Research › Journal article

  105. Published

    Fast Partial Evaluation of Pattern Matching in Strings.. / Ager, Mads Sig ; Danvy, Olivier ; Rohde, Henning Korsholm.

    In: B R I C S Report Series, No. RS-03-20, 2003.

    Publication: Research › Journal article

  106. Published

    From Interpreter to Compiler and Virtual Machine : A Functional Derivation. / Ager, Mads Sig ; Biernacki, Dariusz ; Danvy, Olivier ; Midtgaard, Jan.

    In: B R I C S Report Series, No. RS-03-14, 2003.

    Publication: Research › Journal article

  107. Published

    From Interpreter to Logic Engine by Defunctionalization. / Biernacki, Dariusz ; Danvy, Olivier.

    In: B R I C S Report Series, No. RS-03-25, 2003.

    Publication: Research › Journal article

  108. Published

    Functional Correspondence between Evaluators and Abstract Machines. / Ager, Mads Stig ; Biernacki, Dariusz ; Danvy, Olivier ; Midtgaard, Jan.

    In: B R I C S Report Series, No. RS-03-13, 2003.

    Publication: Research › Journal article

  109. Published

    Lambda-Lifting in Quadratic Time. / Danvy, Olivier ; Schultz, Ulrik Pagh.

    In: B R I C S Report Series, No. RS-03-26, 2003.

    Publication: Research › Journal article

  110. Published

    Special Issue of Higher-Order and Symbolic Computation : Partial Evaluation and Semantics-Based Program Manipulation. / Danvy, Olivier (Editor).

    In: Higher-Order and Symbolic Computation: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002). ed. / Peter Thiemann. Vol. 16(4) Springer, 2003. p. 295-401.

    Publication: Research › Article in proceedings

Previous 1 2 3 Next