Publications

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. (1995). The essence of eta-expansion in partial evaluation. Higher-Order and Symbolic Computation, 8(3), 209-227. https://doi.org/10.1007/BF01019004

Hatcliff, J. & Danvy, O. (1996). A computational formalization for partial evaluation. BRICS Report Series, RS-96-34.

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

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

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-expansion does The Trick. ACM Transactions on Programming Langauges and Systems (TOPLAS), 18(6), 730-751. https://doi.org/10.1145/236114.236119

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

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

Danvy, O., Glück, R. & Thiemann, P. (Eds.) (1996). Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers. Springer. Lecture Notes in Computer Science Vol. 1110 https://doi.org/10.1007/3-540-61580-6

Danvy, O. (1996). Pragmatic Aspects of Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-15).

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. (Ed.) (1996). Proceedings of the Second ACM SIGPLAN Workshop on Continuations. CW '97. Department of Computer Science, Aarhus University. BRICS Notes Series No. NS-96-13

Danvy, O., Hentze, N. & Malmkjær, K. (1996). Resource-bounded partial evaluation. A C M Computing Surveys, 28(2), 329-332. https://doi.org/10.1145/234528.234741

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. & Vestergaard, R. (1996). Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-13).

Hatcliff, J. & Danvy, O. (1996). Thunks and the λ-calculus. BRICS Report Series, (RS-96-19).

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.

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

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. & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. BRICS Report Series, (RS-97-46).

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. & Schultz, U. P. (1997). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, (RS-97-6).

Danvy, O. (1997). Online Type-Directed Partial Evaluation. BRICS Report Series, (RS-97-53).

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. Higher-Order and Symbolic Computation, 10(2), 101-111. https://doi.org/10.1023/A:1007736916360

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. BRICS Report Series, (RS-97-1).

Balat, V. & Danvy, O. (1997). Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. BRICS Report Series, (RS-97-43).

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. Journal of Functional Programming, 7(3), 303-319.

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. BRICS Report Series, (RS-97-7).

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

Danvy, O. (1998). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-98-2).

Danvy, O. & Yang, Z. (1998). An Operational Investigation of the CPS Hierarchy. BRICS Report Series, (RS-98-35).

Danvy, O. (1998). A simple solution to type specialization. In K. G. Larsen, S. Skyum & G. Winskel (Eds.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (pp. 908-917). Springer. https://doi.org/10.1007/BFb0055112

Danvy, O. (1998). A Simple Solution to Type Specialization. BRICS Report Series, (RS-98-1).

Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. BRICS Report Series, (RS-98-15).

Danvy, O. & Rhiger, M. (1998). Compiling Actions by Partial Evaluation, Revisited. BRICS Report Series, (RS-98-13).

Danvy, O. (1998). Formatting Strings in ML. BRICS Report Series, (RS-98-5).

Danvy, O. (1998). Functional Unparsing. BRICS Report Series, (RS-98-12).

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. (1998). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, (RS-98-54).

Elgaard, J., Klarlund, N. & Møller, A. (1998). MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.), Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer. https://doi.org/10.1007/BFb0028773

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. & Dybjer, P. (Eds.) (1998). Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Department of Computer Science, Aarhus University. BRICS Notes Series No. NA-98-1

Balat, V. & Danvy, O. (1998). Strong normalization by type-directed partial evaluation and run-time code generation. In X. Leroy & A. Ohori (Eds.), Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings (pp. 240-252). Springer. https://doi.org/10.1007/BFb0055521

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

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. In A. Middeldorp & T. Sato (Eds.), Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings (pp. 241-250). Springer. https://doi.org/10.1007/10705424_16

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-99-21).

Danvy, O. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. In S. D. Swierstra (Ed.), Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings (pp. 640). Springer. https://doi.org/10.1007/3-540-49099-X_15

Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I. (1999). A Runtime System for Interactive Web Services. Computer Networks, 31(11-16), 1391-1401. https://doi.org/10.1016/S1389-1286(99)00025-0

Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I. (1999). A Runtime System for Interactive Web Services. In Proceedings of the 8th International World Wide Web Conference Elsevier.

Danvy, O. (1999). Formalizing Implementation Strategies for First-Class Continuations. BRICS Report Series, (RS-99-51).

Displaying results 1 to 50 out of 491

Revised 01.09.2025

Sofia Hedegaard Rasmussen

Publications

Faculty