Travelled to:1 × USA
2 × Italy
Collaborated with:∅ Z.Yang O.Danvy M.Rhiger
Talks about:direct (2) evalu (2) futamura (1) approach (1) project (1) program (1) partial (1) second (1) recurr (1) unifi (1)
Person: Bernd Grobauer
DBLP: Grobauer:Bernd
Contributed to:
2001
2001
2000Wrote 3 papers:
- ICFP-2001-Grobauer #source code
- Cost Recurrences for DML Programs (BG), pp. 253–264.
- SAIG-2001-DanvyGR #approach #evaluation
- A Unifying Approach to Goal-Directed Evaluation (OD, BG, MR), pp. 108–125.
- PEPM-2000-GrobauerY #partial evaluation
- The Second Futamura Projection for Type-Directed Partial Evaluation (BG, ZY), pp. 22–32.