Morten Rhiger's publications

Conferences and workshops

• Staged Computation with Staged Lexical Scope. To appear in Helmut Seidl, editor, Proceedings of the 22nd European Symposium on Programming, Tallinn, Estonia, March 2012.

  [ article ]

• First-Class Open and Closed Code Fragments. In Marko van Eekelen, editor, Proceedings of the Sixth Symposium on Trends in Functional Programming, Tallinn, Estonia, September 2005.

  [ article | slides | proceedings ]

• Compiling Embedded Programs to Byte Code. In Shriram Krishnamurthi and C. R. Ramakrishnan, editors, Fourth International Symposium on Practical Aspects of Declarative Languages, Portland, Oregon, January 2002.

  [ article | slides | proceedings ]

• A Unifying Approach to Goal-Directed Evaluation. With Olivier Danvy and Bernd Grobauer. In Walid Taha, editor, Proceedings of the Second Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG 2001), Florence, Italy, September 2001. An extended version appears in Vol. 20, No. 1 of New Generation Computing, November 2001.

  [ article | proceedings ]

• A Simple Take on Typed Abstract Syntax in Haskell-like Languages. With Olivier Danvy. In Herbert Kuchen and Kazunori Ueda, editors, Proceedings of the Fifth International Symposium on Functional and Logic Programming, Tokyo, Japan, March 2001. An extended version is available as the technical report BRICS RS-00-34.

  [ article | slides | proceedings ]

• Deriving a Statically Typed Type-Directed Partial Evaluator. In Olivier Danvy, editor, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, January 1999.

  [ proceedings ]

• Compiling Actions by Type-Directed Partial Evaluation. With Olivier Danvy. In Proceedings of the 9th Nordic Workshop on Programming Theory, Tallinn, Estonia, October 1997. Extended version is available as the technical report BRICS RS-98-13.

Journals

• Type-safe pattern combinators. Journal of Functional Programming 19(2):145–156, 2009.

  [ article | code | doi:10.1017/S0956796808007089 ]

• A Foundation for Embedded Languages. ACM Transactions on Programming Languages and Systems, 25(3):291–315, 2003.

  [ article | doi:10.1145/641909.641910 ]

• A Unifying Approach to Goal-Directed Evaluation. With Olivier Danvy and Bernd Grobauer. New Generation Computing, 20(1):347–359, 2001. A preliminary version is available in the proceedings of SAIG 2001.
• Normalization by Evaluation with Typed Abstract Syntax. With Olivier Danvy and Kristoffer Høgsbro Rose. Journal of Functional Programming, 11(6):673–680, 2001. An extended version is available as the technical report BRICS RS-01-16.

  [ article ]

Miscellaneous

• Type Soundness for Open and Closed Code Fragments. Unpublished manuscript, 2005. Work presented at the 2005 MetaOCaml Workshop, Tallinn, Estonia, September 2005
• Higher-Order Program Generation. Ph.D. thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, July 2001.
• A Simple Take on Typed Abstract Syntax in Haskell-like Languages. With Olivier Danvy. Technical report, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2000.
• Action-Semantics-Directed Compiling by Partial Evaluation. With Olivier Danvy. Unpublished manuscript, 1999.
• Compiling Actions by Partial Evaluation, Revisited. With Olivier Danvy. Technical report, Department of Computer Science, University of Aarhus, Aarhus, Denmark, June 1998.
• A Study in Higher-Order Programming Languages. Masters thesis, DAIMI, Department of Computer Science, University of Aarhus, December 1997.