Department of Computer Science

Aarhus University Seal
 Department of Computer Science Research Programming Languages Publications

Publications

Sort by: Type
Danvy, O., Glück, R. & Thiemann, P. (1998). 1998 Symposium on Partial Evaluation. A C M Computing Surveys, 30(3). https://doi.org/10.1145/292469.293684
Biernacki, D., Danvy, O. & Millikin, K. S. (2005). A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. BRICS Report Series, (RS-05-16), 1-26.
Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS Report Series, (RS-03-24).
Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS Report Series, (RS-04-3).
Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. BRICS Report Series, (RS-03-35).
Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. BRICS Report Series, (RS-04-28).
Danvy, O. & Nielsen, L. R. (2000). A Higher-Order Colon Translation. BRICS Report Series, (RS-00-33).
Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. BRICS Report Series, (RS-02-53).
Brabrand, C., Giegerich, R. & Møller, A. (2006). Analyzing Ambiguity of Context-Free Grammars. BRICS Report Series, (RS-06-09).
Danvy, O. (2002). A New One-Pass Transformation into Monadic Normal Form. BRICS Report Series, (RS-02-52).
Danvy, O. (1998). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-98-2).
Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-99-21).
Biernacka, M., Biernacki, D. & Danvy, O. (2003). An Operational Foundation for Delimited Continuations. BRICS Report Series, (RS-03-41).
Biernacka, M., Biernacki, D. & Danvy, O. (2004). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS Report Series, (RS-04-29).
Danvy, O. & Yang, Z. (1998). An Operational Investigation of the CPS Hierarchy. BRICS Report Series, (RS-98-35).
Danvy, O. & Millikin, K. (2006). A Rational Deconstruction of Landin's J Operator. BRICS Report Series, (RS-06-17). http://www.brics.dk/RS/06/17/BRICS-RS-06-17.pdf
Danvy, O. (2003). A Rational Deconstruction of Landin's SECD Machine. BRICS Report Series, (RS-03-33).
Danvy, O. & Millikin, K. (2007). A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines. BRICS Report Series, (RS-07-8).
Damian, D. & Danvy, O. (2001). A Simple CPS Transformation of Control-Flow Information. BRICS Report Series, (RS-01-55).
Biernacki, D. & Danvy, O. (2005). A Simple Proof of a Folklore Theorem about Delimited Control. BRICS Report Series, (RS-05-25).
Danvy, O. (1998). A Simple Solution to Type Specialization. BRICS Report Series, (RS-98-1).
Danvy, O. & Rhiger, M. (2000). A Simple Take on Typed Abstract Syntax in Haskell-Like Languages. BRICS Report Series, (RS-00-34).
Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. BRICS Report Series, (RS-98-15).
Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. BRICS Report Series, (RS-02-37).
Biernacka, M. & Danvy, O. (2005). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. BRICS Report Series, (RS-05-38).
Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. BRICS Report Series, (RS-01-29).
Danvy, O. & Lawall, J. (1996). Back to Direct Style II: First-Class Continuations. BRICS Report Series, (RS-96-20).
Danvy, O. & Rhiger, M. (1998). Compiling Actions by Partial Evaluation, Revisited. BRICS Report Series, (RS-98-13).
Danvy, O. & Nielsen, L. R. (2004). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-04-39).
Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-00-35).
Damian, D. & Danvy, O. (2003). CPS Transformation of Flow Information, Part II: Administrative Reductions. Journal of Functional Programming, 13(5), 925-933. https://doi.org/10.1017/S0956796803004702
Damian, D. & Danvy, O. (2002). CPS Transformation of Flow Information, Part II: Administrative Reductions. BRICS Report Series, (RS-02-36).
Damian, D. & Danvy, O. (2001). CPS Transformation of Flow Information, Part II: Administrative Reductions. BRICS Report Series, (RS-01-40).
Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. BRICS Report Series, (RS-01-23).
Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). Document Structure Description 1.0. BRICS Notes Series, (NS-00-7).
Møller, A. (2002). Document Structure Description 2.0. BRICS Notes Series, (NS-02-7).
Danvy, O., Malmkjær, K. & Palsberg, J. (1995). Eta-Expansion Does The Trick. BRICS Report Series, (RS-95-41).
Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-Expansion Does The Trick. BRICS Report Series, (RS-96-17).
Ager, M. S., Danvy, O. & Rohde, H. K. (2004). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, (RS-04-40).
Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, (RS-03-11).
Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, (RS-03-20).
Danvy, O. (1999). Formalizing Implementation Strategies for First-Class Continuations. BRICS Report Series, (RS-99-51).
Danvy, O. (1998). Formatting Strings in ML. BRICS Report Series, (RS-98-5).
Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). From Interpreter to Compiler and Virtual Machine: A Functional Derivation. BRICS Report Series, (RS-03-14).
Biernacki, D. & Danvy, O. (2003). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, (RS-03-25).
Biernacki, D. & Danvy, O. (2004). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, (RS-04-5).
Danvy, O. (2004). From Reduction-Based to Reduction-Free Normalization. BRICS Report Series, (RS-04-30).
Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). Functional Correspondence between Evaluators and Abstract Machines. BRICS Report Series, (RS-03-13).
Danvy, O. (1998). Functional Unparsing. BRICS Report Series, (RS-98-12).
Danvy, O. & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. BRICS Report Series, (RS-97-46).

Displaying results 1 to 50 out of 491

1

2

3

4

5

6

7

8

9

10

Next

Faculty

Revised 01.09.2025
-
Sofia Hedegaard Rasmussen