| 2001 |
|---|
| 7 | | Sergio Antoy,
Michael Hanus,
Bart Massey,
Frank Steiner:
An Implementation of Narrowing Strategies.
PPDP 2001: 207-217 |
| 2000 |
|---|
| 6 | EE | Elvira Albert,
César Ferri,
Frank Steiner,
Germán Vidal:
Improving Functional Logic Programs by Difference-Lists.
ASIAN 2000: 237-254 |
| 5 | EE | Michael Hanus,
Frank Steiner:
Type-based nondeterminism checking in functional logic programs.
PPDP 2000: 202-213 |
| 4 | | Elvira Albert,
César Ferri,
Frank Steiner,
Germán Vidal:
List-Processing Optimizations in a Multi-Paradigm Declarative Language.
WFLP 2000: 184-194 |
| 3 | | Frank Steiner,
Michael Hanus:
Type-based Nondeterminism Checking in Functional Logic Programs.
WLP 2000: 135-148 |
| 1998 |
|---|
| 2 | | Michael Hanus,
Frank Steiner:
Controlling Search in Funtional Logic Programs.
IJCSLP 1998: 347-348 |
| 1 | EE | Michael Hanus,
Frank Steiner:
Controlling Search in Declarative Programs.
PLILP/ALP 1998: 374-390 |
