| 1992 |
|---|
| 7 | | John Darlington,
Roland Dietrich:
Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991
Springer 1992 |
| 1991 |
|---|
| 6 | | Roland Dietrich:
How to Use Guarded Functional Programming.
Declarative Programming 1991: 35-50 |
| 5 | | Roland Dietrich,
Hendrik C. R. Lock:
Exploiting Non-Determinism through Laziness in Guarded Functional Languages.
TAPSOFT, Vol.2 1991: 201-216 |
| 1989 |
|---|
| 4 | | Roland Dietrich:
A Preprocessor Based Module System for Prolog.
TAPSOFT, Vol.2 1989: 126-139 |
| 1988 |
|---|
| 3 | | Roland Dietrich,
Frank Hagl:
A Polymorphic Type System with Subtypes for Prolog.
ESOP 1988: 79-93 |
| 1987 |
|---|
| 2 | | Gerhard Goos,
Roland Dietrich,
Peter Kursawe:
Prolog-Arbeiten in Karlsruhe.
Wissensbasierte Systeme 1987: 89-104 |
| 1986 |
|---|
| 1 | | Roland Dietrich:
Relating Resolution and Algebraic Completion for Horn Logic.
CADE 1986: 62-78 |
