Travelled to:1 × Estonia
1 × Italy
1 × Japan
2 × USA
Collaborated with:∅ O.Danvy B.Grobauer
Talks about:type (3) direct (2) stage (2) evalu (2) approach (1) abstract (1) program (1) partial (1) languag (1) syntax (1)
Person: Morten Rhiger
DBLP: Rhiger:Morten
Contributed to:
2012
2002
2001
2001
1999Wrote 5 papers:
- ESOP-2012-Rhiger #staged
- Staged Computation with Staged Lexical Scope (MR), pp. 559–578.
- PADL-2002-Rhiger #compilation #embedded #source code
- Compiling Embedded Programs to Byte Code (MR), pp. 120–136.
- FLOPS-2001-DanvyR #haskell #syntax
- A Simple Take on Typed Abstract Syntax in Haskell-like Languages (OD, MR), pp. 343–358.
- SAIG-2001-DanvyGR #approach #evaluation
- A Unifying Approach to Goal-Directed Evaluation (OD, BG, MR), pp. 108–125.
- PEPM-1999-Rhiger #static typing
- Deriving a Statically Typed Type-Directed Partial Evaluator (MR), pp. 25–29.