2009 |
9 | EE | Morten Rhiger:
Type-safe pattern combinators.
J. Funct. Program. 19(2): 145-156 (2009) |
2005 |
8 | | Morten Rhiger:
First-class open and closed code framgents.
Trends in Functional Programming 2005: 127-144 |
2003 |
7 | EE | Morten Rhiger:
A foundation for embedded languages.
ACM Trans. Program. Lang. Syst. 25(3): 291-315 (2003) |
2002 |
6 | EE | Morten Rhiger:
Compiling Embedded Programs to Byte Code.
PADL 2002: 120-136 |
2001 |
5 | EE | Olivier Danvy,
Morten Rhiger:
A Simple Take on Typed Abstract Syntax in Haskell-like Languages.
FLOPS 2001: 343-358 |
4 | EE | Olivier Danvy,
Bernd Grobauer,
Morten Rhiger:
A Unifying Approach to Goal-Directed Evaluation.
SAIG 2001: 108-125 |
3 | | Olivier Danvy,
Morten Rhiger,
Kristoffer Høgsbro Rose:
Normalization by evaluation with typed abstract syntax.
J. Funct. Program. 11(6): 673-680 (2001) |
2 | | Olivier Danvy,
Bernd Grobauer,
Morten Rhiger:
A Unifying Approach to Goal-directed Evaluation.
New Generation Comput. 20(1): 53-74 (2001) |
1999 |
1 | | Morten Rhiger:
Deriving a Statically Typed Type-Directed Partial Evaluator.
PEPM 1999: 25-29 |