| |
| 1997 | ||
|---|---|---|
| 3 | Alain Miniussi, Robert Strandh: An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems. APPIA-GULP-PRODE 1997: 445-456 | |
| 1996 | ||
| 2 | Alain Miniussi, David Sherman: Squeezing Intermediate Construction in Equational Programs. Dagstuhl Seminar on Partial Evaluation 1996: 284-302 | |
| 1994 | ||
| 1 | Timo Metzemakers, Alain Miniussi, David Sherman, Robert Strandh: Improving Arithmetic Performance using Fine-Grain Unfolding. PLILP 1994: 324-339 | |
| 1 | Timo Metzemakers | [1] |
| 2 | David Sherman | [1] [2] |
| 3 | Robert Strandh | [1] [3] |