Deriving a Statically Typed Type-Directed Partial Evaluator. - Morten Rhiger (PEPM, 1999)

A Simple Take on Typed Abstract Syntax in Haskell-like Languages. - Olivier Danvy; Morten Rhiger (FLOPS, 2001)

Normalization by evaluation with typed abstract syntax. - Olivier Danvy; Morten Rhiger; Kristoffer Høgsbro Rose (J. Funct. Program., 2001)

A Unifying Approach to Goal-directed Evaluation. - Olivier Danvy; Bernd Grobauer; Morten Rhiger (New Gener. Comput., 2001)

Compiling Embedded Programs to Byte Code. - Morten Rhiger (PADL, 2002)

A foundation for embedded languages. - Morten Rhiger (ACM Trans. Program. Lang. Syst., 2003)

First-class open and closed code framgents. - Morten Rhiger (Trends in Functional Programming, 2005)

Type-safe pattern combinators. - Morten Rhiger (J. Funct. Program., 2009)

Staged Computation with Staged Lexical Scope. - Morten Rhiger (ESOP, 2012)

Hygienic quasiquotation in scheme. - Morten Rhiger (Scheme@ICFP, 2012)

ENTRA: Whole-systems energy transparency. - Kerstin Eder; John P. Gallagher; Pedro López-García 001; Henk L. Muller; Zorana Bankovic; Kyriakos Georgiou; Rémy Haemmerlé; Manuel V. Hermenegildo; Bishoksan Kafle; Steve Kerrison; Maja H. Kirkeby; Maximiliano Klemen; et al. (Microprocess. Microsystems, 2016)

Type-Based Uncurrying for Unknown Function Calls. - Morten Rhiger (IFL, 2023)