Bibliography of Lasse R. Nielsen

[Danvy-Nielsen:RS-00-35]

Olivier Danvy and Lasse R. Nielsen. CPS transformation of beta-redexes. Technical Report BRICS RS-00-35, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2000.

[Danvy-Nielsen:RS-00-33]

Olivier Danvy and Lasse R. Nielsen. A higher-order colon translation. Technical Report BRICS RS-00-33, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2000.

[Danvy-Nielsen:CW01]

Olivier Danvy and Lasse R. Nielsen. CPS transformation of beta-redexes. In Amr Sabry, editor, Proceedings of the Third ACM SIGPLAN Workshop on Continuations, Technical report 545, Computer Science Department, Indiana University, pages 35--39, London, England, January 2001. Also available as the technical report BRICS RS-00-35.

[Danvy-Nielsen:PPDP01]

Olivier Danvy and Lasse R. Nielsen. Defunctionalization at work. In Harald Søndergaard, editor, Proceedings of the Third International Conference on Principles and Practice of Declarative Programming, pages 162--174, Firenze, Italy, September 2001. ACM Press. Extended version available as the technical report BRICS RS-01-23.

[Danvy-Nielsen:RS-01-23]

Olivier Danvy and Lasse R. Nielsen. Defunctionalization at work. Technical Report BRICS RS-01-23, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, July 2001. Extended version of an article to appear in the proceedings of the Third International Conference on Principles and Practice of Declarative Programming (PPDP 2001), Firenze, Italy, September 5-7, 2001.

[Danvy-Nielsen:RS-01-49]

Olivier Danvy and Lasse R. Nielsen. A first-order one-pass CPS transformation. Technical Report BRICS RS-01-49, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2001. Extended version of an article to appear in the proceedings of FOSSACS'02, Grenoble, France, April 2002.

[Danvy-Nielsen:FLOPS01]

Olivier Danvy and Lasse R. Nielsen. A higher-order colon translation. In Herbert Kuchen and Kazunori Ueda, editors, Fifth International Symposium on Functional and Logic Programming, number 2024 in Lecture Notes in Computer Science, pages 78--91, Tokyo, Japan, March 2001. Springer-Verlag. Extended version available as the technical report BRICS RS-00-33.

[Danvy-Nielsen:RULE01]

Olivier Danvy and Lasse R. Nielsen. Syntactic theories in practice. In Mark van den Brand and Rakesh~M. Verma, editors, Informal proceedings of the Second International Workshop on Rule-Based Programming (RULE 2001), volume 59.4 of Electronic Notes in Theoretical Computer Science, Firenze, Italy, September 2001. Extended version available as the technical report BRICS RS-02-04.

[Danvy-Nielsen:RS-01-31]

Olivier Danvy and Lasse R. Nielsen. Syntactic theories in practice. Technical Report BRICS RS-01-31, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, July 2001. Extended version of an article to appear in the informal proceedings of the Second International Workshop on Rule-Based Programming (RULE 2001), Firenze, Italy, September 4, 2001.

[Danvy-Nielsen:FOSSACS02]

Olivier Danvy and Lasse R. Nielsen. A first-order one-pass CPS transformation. In Mogens Nielsen and Uffe Engberg, editors, Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002, number 2303 in Lecture Notes in Computer Science, pages 98--113, Grenoble, France, April 2002. Springer-Verlag. Extended version available as the technical report BRICS RS-01-49.

[Danvy-Nielsen:RS-02-03]

Olivier Danvy and Lasse R. Nielsen. On one-pass CPS transformations. Technical Report BRICS RS-02-03, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, January 2002.

[Nielsen:RS-00-47]

Lasse R. Nielsen. A denotational investigation of defunctionalization. Technical Report BRICS RS-00-47, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2000.

[Nielsen:MFPS01]

Lasse R. Nielsen. A selective CPS transformation. In Stephen Brookes and Michael Mislove, editors, Proceedings of the 17th Annual Conference on Mathematical Foundations of Programming Semantics, volume 45 of Electronic Notes in Theoretical Computer Science, pages 201--222, Aarhus, Denmark, May 2001. Elsevier Science Publishers.

[Nielsen:PhD]

Lasse R. Nielsen. A study of defunctionalization and continuation-passing style. PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, July 2001. BRICS DS-01-7.

[Nielsen:RS-02-02]

Lasse R. Nielsen. A simple correctness proof of the direct-style transformation. Submitted for review.