| |
| 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 | |
| 1 | Olivier Danvy | [2] [3] [4] [5] |
| 2 | Bernd Grobauer | [2] [4] |
| 3 | Kristoffer Høgsbro Rose | [3] |