Publications

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. In Proceedings of the Third ACM SIGPLAN Workshop on Continuations

Danvy, O. & Rhiger, M. (1997). Compiling Actions by Type-Directed Partial Evaluation. In Proceedings of the Nordic Workshop on Programming Theory. NWPT'97

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. In roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (pp. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

Danvy, O. (1996). Décompilation de lambda-interprètes. In JFLA '96 - Journées Francophones des Langages Applicatifs (Vol. 15)

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_6

Danvy, O. & Rose, K. H. (1998). Higher-order rewriting and partial evaluation. In T. Nipkow (Ed.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (pp. 286-301). Springer. https://doi.org/10.1007/BFb0052377

Danvy, O. & Schultz, U. P. (1997). Lambda-dropping: transforming recursive equations into programs with block structure. In PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (pp. 90-106). Association for Computing Machinery. https://doi.org/10.1145/258993.259007

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. Electronic Notes in Theoretical Computer Science, 26, 21-33. https://doi.org/10.1016/S1571-0661(05)80281-6

Danvy, O. (1998). Online Type-Directed Partial Evaluation. In Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (pp. 271-295)

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. In O. Danvy, R. Glück & P. Thiemann (Eds.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (pp. 73-94). Springer. https://doi.org/10.1007/3-540-61580-6_5

Danvy, O. & Vestergaard, R. (1996). Semantics-based compiling: A case study in type-directed partial evaluation. In H. Kuchen & S. D. Swierstra (Eds.), Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings (pp. 182-197). Springer. https://doi.org/10.1007/3-540-61756-6_85

Danvy, O. (1996). Type-Directed Partial Evaluation. In Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (pp. 242-257). Association for Computing Machinery.

Danvy, O. & Nielsen, L. R. (2000). A Higher-Order Colon Translation. B R I C S Report Series, (RS-00-33).

Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. B R I C S Report Series, (RS-02-53).

Danvy, O. (2003). A Rational Deconstruction of Landin's SECD Machine. B R I C S Report Series, (RS-03-33).

Danvy, O. (1998). A Simple Solution to Type Specialization. B R I C S Report Series, (RS-98-1).

Danvy, O. & Rhiger, M. (2000). A Simple Take on Typed Abstract Syntax in Haskell-Like Languages. B R I C S Report Series, (RS-00-34).

Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. B R I C S Report Series, (RS-01-29).

Danvy, O. (1998). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. B R I C S Report Series, (RS-98-2).

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. B R I C S Report Series, (RS-99-21).

Danvy, O. & Yang, Z. (1998). An Operational Investigation of the CPS Hierarchy. B R I C S Report Series, (RS-98-35).

Danvy, O. & Lawall, J. (1996). Back to Direct Style II: First-Class Continuations. B R I C S Report Series, (RS-96-20).

Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. B R I C S Report Series, (RS-00-35).

Danvy, O. & Rhiger, M. (1998). Compiling Actions by Partial Evaluation, Revisited. B R I C S Report Series, (RS-98-13).

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. B R I C S Report Series, (RS-01-23).

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). Eta-Expansion Does The Trick. B R I C S Report Series, (RS-95-41).

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-Expansion Does The Trick. B R I C S Report Series, (RS-96-17).

Danvy, O. (1999). Formalizing Implementation Strategies for First-Class Continuations. B R I C S Report Series, (RS-99-51).

Danvy, O. (1998). Formatting Strings in ML. B R I C S Report Series, (RS-98-5).

Danvy, O. (1998). Functional Unparsing. B R I C S Report Series, (RS-98-12).

Danvy, O. & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. B R I C S Report Series, (RS-97-46).

Danvy, O. & Schultz, U. P. (1997). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. B R I C S Report Series, (RS-97-6).

Danvy, O. & Schultz, U. P. (1998). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. B R I C S Report Series, (RS-98-54).

Danvy, O. & Schultz, U. P. (1999). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. B R I C S Report Series, (RS-99-27).

Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. B R I C S Report Series, (RS-02-30).

Danvy, O. & Schultz, U. P. (2003). Lambda-Lifting in Quadratic Time. B R I C S Report Series, (RS-03-26).

Danvy, O. & Schultz, U. P. (2004). Lambda-Lifting in Quadratic Time. B R I C S Report Series, (RS-04-12).

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. B R I C S Report Series, (RS-99-23).

Danvy, O. & Malmkjær, K. (1996). On the Idempotence of the CPS Transformation. B R I C S Report Series, (RS-96-14).

Danvy, O. (1997). Online Type-Directed Partial Evaluation. B R I C S Report Series, (RS-97-53).

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. B R I C S Report Series, (RS-97-1).

Danvy, O. (1996). Pragmatic Aspects of Type-Directed Partial Evaluation. B R I C S Report Series, (RS-96-15).

Danvy, O. & Vestergaard, R. (1996). Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. B R I C S Report Series, (RS-96-13).

Danvy, O. & Lopez, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. B R I C S Report Series, (RS-03-2).

Danvy, O. & Goldberg, M. (2002). There and Back Again. B R I C S Report Series, (RS-02-12).

Danvy, O. (1998). Type-Directed Partial Evaluation. BRICS Lecture Series, (LS-98-3).

Danvy, O. & Midtgaard, J. (2011). Abstracting abstract machines: technical perspective. Association for Computing Machinery. Communications, 54(9), 100-100. https://doi.org/10.1145/1995376.1995399

Danvy, O. (2011). Pragmatics for formal semantics. In Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering (pp. 93-94). Association for Computing Machinery. https://doi.org/10.1145/2047862.2047878

Danvy, O. & Shan, C. (Eds.) (2011). Proceedings IFIP Working Conference on Domain-Specific Languages. https://doi.org/10.4204/EPTCS.66

Danvy, O. & Zerny, I. (2013). Three Syntactic Theories for Combinatory Graph Reduction. A C M Transactions on Computational Logic, 14(4), Article 29. https://doi.org/10.1145/2528932

Displaying results 201 to 250 out of 444

Revised 17.04.2023

Sofia Hedegaard Rasmussen

Department of Computer Science

Publications

Magnus Madsen

Andreas Pavlogiannis

Publications

Faculty

Magnus Madsen

Andreas Pavlogiannis