This page is still under construction.

Misc. papers:

Raw list of papers: ftp.daimi.au.dk:pub/empl/danvy/Papers/README.please


1996:

"Type-Directed Partial Evaluation". Olivier Danvy. Proceedings of POPL96, the 1996 ACM Symposium on Principles of Programming Languages (to appear). Abstract here. Full paper here.


1995:

"Back to direct style II: First-class continuations". Olivier Danvy and Julia L. Lawall. Technical Report CS-95-179, Computer Science Department, Brandeis University, February 1995. Abstract here. Full paper here. (An earlier version appeared in the proceedings of LFP92, the 1992 ACM Conference on Lisp and Functional Programming.)

"The Essence of Eta-Expansion in Partial Evaluation". Olivier Danvy, Karoline Malmkjær, and Jens Palsberg. LISP and Symbolic Computation, Vol. 8, No. 3, pp. 209-227, 1995. Abstract here. Full paper here. (An earlier version appeared in the proceedings of PEPM94, the 1994 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation.)

"Eta-Expansion Does The Trick". Olivier Danvy, Karoline Malmkjær, and Jens Palsberg. Technical Report BRICS RS-95-41, Computer Science Department, Aarhus University, August 1995. Abstract here. Full paper here.

"The Occurrence of Continuation Parameters in CPS Terms". Olivier Danvy and Frank Pfenning. Technical report CMU-CS-95-121, School of Computer Science, Carnegie Mellon University, February 1995. Abstract here. Full paper here.

"Thunks and the lambda-calculus". John Hatcliff and Olivier Danvy. Technical Report 95/3, DIKU, Computer Science Department, University of Copenhagen, February 1995. Abstract here. Full paper here.

"Continuation-Based Partial Evaluation". Julia L. Lawall and Olivier Danvy. Technical Report CS-95-178, Computer Science Department, Brandeis University, February 1995. Abstract here. Full paper here. (An earlier version appeared in the proceedings of LFP94, the 1994 ACM Conference on Lisp and Functional Programming.)


1994:

"Back to direct style". Olivier Danvy. Science of Computer Programming, 22(3):183-195, 1994. Abstract here. Full paper here. (An earlier version appeared in the proceedings of ESOP92, the 1992 European Symposium On Programming.)

"A Generic Account of Continuation-Passing Styles". John Hatcliff and Olivier Danvy. Proceedings of POPL94, the 1994 ACM Symposium on Principles of Programming Languages, pp 458-471. Abstract here. Full paper here.

"Continuation-Based Partial Evaluation". Julia L. Lawall and Olivier Danvy. Proceedings of LFP94, the 1994 ACM Conference on Lisp and Functional Programming, pp 227-238. Abstract here. Full paper here.

"ML partial evaluation using set-based analysis". Karoline Malmkjær, Nevin Heintze and Olivier Danvy. Record of ML94, the 1994 ACM SIGPLAN Workshop on ML and its Applications, pp 112-119. Abstract here. Full paper here.


1993:

"Tutorial Notes on Partial Evaluation". Charles Consel and Olivier Danvy. Proceedings of POPL93, the 1993 ACM Symposium on Principles of Programming Languages, pp 493-501. Abstract here. Full paper here.

"CPS Transformation after Strictness Analysis". Olivier Danvy and John Hatcliff. Letters On Programming Languages And Systems, 1(3):195-212, 1993. Abstract here. Full paper here.

"On the Transformation between Direct and Continuation Semantics". Olivier Danvy and John Hatcliff. Proceedings of MFPS93, the 9th Conference on Mathematical Foundations of Programming Semantics, pp 627-648. Abstract here. Full paper here.

"Separating Stages in the Continuation-Passing Style Transformation". Julia L. Lawall and Olivier Danvy. Proceedings of POPL93, the 1993 ACM Symposium on Principles of Programming Languages, pp 124-136. Abstract here. Full paper here.


1992:

"Representing Control, a Study of the CPS Transformation". Olivier Danvy and Andrzej Filinski. Mathematical Structures in Computer Science, 2(4):361-391, 1992. Abstract here. Full paper here.

"Thunks (continued)". Olivier Danvy and John Hatcliff. Proceedings of WSA92, the Second International Workshop on Static Analysis, pp 3-11. Abstract here. Full paper here.

"Back to direct style II: First-class continuations". Olivier Danvy and Julia L. Lawall. Proceedings of LFP92, the 1992 ACM Conference on Lisp and Functional Programming, pp 299-310. Abstract here. Full paper here.


1991:

"Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types". Anders Bondorf and Olivier Danvy. Science of Computer Programming, 16:151-195, 1991. Abstract here. Full paper here.

"Static and Dynamic Semantics Processing". Charles Consel and Olivier Danvy. Proceedings of POPL91, the 1991 ACM Symposium on Principles of Programming Languages, pp 14-24. Abstract here. Full paper here.

"For a Better Support of Static Data Flow". Charles Consel and Olivier Danvy. Proceedings of FPCA91, the 1991 Conference on Functional Programming and Computer Architecture, pp 496-519. Abstract here. Full paper here.

"Semantics-Directed Compilation of Non-Linear Patterns". Olivier Danvy. Information Processing Letters, 37:315-322, 1991. Abstract here. Full paper here.

"Three Steps for the CPS Transformation". Olivier Danvy. Technical report CIS-92-02, Department of Computing and Information Sciences, Kansas State University, December 1991. Abstract here. Full paper here.


1990:

"Abstracting Control". Olivier Danvy and Andrzej Filinski. Proceedings of LFP90, the 1990 ACM Conference on Lisp and Functional Programming, pp 151-160. Abstract here. Full paper here.

"From Interpreting to Compiling Binding Times". Charles Consel and Olivier Danvy. Proceedings of ESOP90, the Third European Symposium on Programming, pp 88-105. Full paper here.


1989:

"Partial Evaluation of Pattern Matching in Strings". Charles Consel and Olivier Danvy. Information Processing Letters, 30(2):79-86, 1989. Abstract here. Full paper here.

"On Listing List Prefixes" Olivier Danvy. Lisp Pointers 2(3/4):42-46, January 1989. Full paper here.

"A Functional Abstraction of Typed Contexts" Olivier Danvy and Andrzej Filinski. DIKU Rapport 89/12, Copenhagen, Denmark, July 1989. Full paper here.

"Programming with Tighter Control" Olivier Danvy. BIGRE Journal: Putting Scheme to Work 65(10-29), July 1989. Full paper here.


1988:

"Intensions and Extensions in a Reflective Tower". Olivier Danvy and Karoline Malmkjær. Proceedings of LFP88, the 1988 ACM Conference on Lisp and Functional Programming, pp 327-341. Full paper: (ps.gz), (pdf), (dvi.gz).

"A Blond Primer". Olivier Danvy and Karoline Malmkjær. DIKU Rapport 88/21, Copenhagen, Denmark, October 1988. Full paper here.

"On some Functional Aspects of Control" Olivier Danvy. Proceedings of the Workshop on Implementation of Lazy Functional Languages, Chalmers, Sweden, Report 53. Full paper: here.


August 22, 2007 - danvy@cs.au.dk