Morten Rhiger

According to our database, Morten Rhiger authored at least 12 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Type-Based Uncurrying for Unknown Function Calls.

Morten Rhiger

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

2016

ENTRA: Whole-systems energy transparency.

Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl

Microprocess. Microsystems, 2016

2012

Hygienic quasiquotation in scheme.

Morten Rhiger

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

Staged Computation with Staged Lexical Scope.

Morten Rhiger

Proceedings of the Programming Languages and Systems, 2012

2009

Type-safe pattern combinators.

Morten Rhiger

J. Funct. Program., 2009

2005

First-class open and closed code framgents.

Morten Rhiger

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2003

A foundation for embedded languages.

Morten Rhiger

ACM Trans. Program. Lang. Syst., 2003

2002

Compiling Embedded Programs to Byte Code.

Morten Rhiger

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

2001

A Unifying Approach to Goal-directed Evaluation.

Olivier Danvy, Bernd Grobauer, Morten Rhiger

New Gener. Comput., 2001

Normalization by evaluation with typed abstract syntax.

Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose

J. Funct. Program., 2001

A Simple Take on Typed Abstract Syntax in Haskell-like Languages.

Olivier Danvy, Morten Rhiger

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

1999

Deriving a Statically Typed Type-Directed Partial Evaluator.

Morten Rhiger

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999