Morten Rhiger

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 3

Top Topics

Systems Require

Top Venues

Microprocess. Microsystems

Publications

Morten Rhiger
Type-Based Uncurrying for Unknown Function Calls. IFL (2023)
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
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
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
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Morten Rhiger
Staged Computation with Staged Lexical Scope. ESOP (2012)
Morten Rhiger
Hygienic quasiquotation in scheme. Scheme@ICFP (2012)
Morten Rhiger
Type-safe pattern combinators. J. Funct. Program. 19 (2) (2009)
Morten Rhiger
First-class open and closed code framgents. Trends in Functional Programming (2005)
Morten Rhiger
A foundation for embedded languages. ACM Trans. Program. Lang. Syst. 25 (3) (2003)
Morten Rhiger
Compiling Embedded Programs to Byte Code. PADL (2002)
Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose
Normalization by evaluation with typed abstract syntax. J. Funct. Program. 11 (6) (2001)
Olivier Danvy, Morten Rhiger
A Simple Take on Typed Abstract Syntax in Haskell-like Languages. FLOPS (2001)
Olivier Danvy, Bernd Grobauer, Morten Rhiger
A Unifying Approach to Goal-Directed Evaluation. SAIG (2001)
Olivier Danvy, Bernd Grobauer, Morten Rhiger
A Unifying Approach to Goal-directed Evaluation. New Gener. Comput. 20 (1) (2001)
Morten Rhiger
Deriving a Statically Typed Type-Directed Partial Evaluator. PEPM (1999)