Travelled to:2 × Denmark
2 × USA
Collaborated with:∅ D.Dussart J.Palsberg T.Æ.Mogensen
Talks about:partial (4) evalu (4) autoproject (2) automat (2) recurs (2) improv (2) higher (2) applic (2) order (2) equat (2)
Person: Anders Bondorf
DBLP: Bondorf:Anders
Contributed to:
1994
1993
1992
1992
19901991
1989Wrote 7 papers:
- PEPM-1994-BondorfD #partial evaluation
- Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (AB, DD), pp. 1–9.
- FPCA-1993-BondorfP #compilation #partial evaluation
- Compiling Actions by Partial Evaluation (AB, JP), pp. 308–320.
- LFP-1992-Bondorf
- Improving Binding Times Without Explicit CPS-Conversion (AB), pp. 1–10.
- LOPSTR-1992-MogensenB #named #prolog #self
- Logimix: A Self-Applicable Partial Evaluator for Prolog (TÆM, AB), pp. 214–227.
- ESOP-1990-Bondorf #automation #equation #higher-order #recursion
- Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 70–87.
- ESOP-J-1990-Bondorf91 #automation #equation #higher-order #recursion
- Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 3–34.
- CCIPL-1989-Bondorf #self #term rewriting
- A Self-Applicable Partial Evaluator for Term Rewriting Systems (AB), pp. 81–95.