Morten Rhiger

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