| |
| 1995 | ||
|---|---|---|
| 5 | Andy Mück: Verifizierte Implementierung funktional-logischer Sprachen. WLP 1995: 187-193 | |
| 1994 | ||
| 4 | Andy Mück, Thomas Streicher: A Tiny Constrain Functional Logic Language and Its Continuation Semantics. ESOP 1994: 439-453 | |
| 1993 | ||
| 3 | Andy Mück: A lambda-Calculus with Logical Features. WLP 1993: 78-80 | |
| 1992 | ||
| 2 | Andy Mück: CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs. PLILP 1992: 341-354 | |
| 1990 | ||
| 1 | Andy Mück: Compilation of Narrowing. PLILP 1990: 16-29 | |
| 1 | Thomas Streicher | [4] |