| 2008 |
|---|
| 5 | EE | Fritz Müller:
Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional
CoRR abs/0806.1827: (2008) |
| 1992 |
|---|
| 4 | | Fritz Müller:
Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting.
Inf. Process. Lett. 41(6): 293-299 (1992) |
| 1988 |
|---|
| 3 | | Martin Raber,
Thomas Remmel,
Erwin Hoffmann,
Dieter Maurer,
Fritz Müller,
Hans-Georg Oberhauser,
Reinhard Wilhelm:
Complied Graph Reduction on a Processor Network.
ARCS 1988: 198-212 |
| 2 | | M. Baston,
H.-J. Bach,
A. Lucks-Baus,
Fritz Müller,
Reinhard Wilhelm:
Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren.
Innovative Informations-Infrastrukturen 1988: 114-131 |
| 1984 |
|---|
| 1 | | Fritz Müller:
Ein konstruktives Typsystem für funktionale Programmiersprachen.
Fachtagung über Programmiersprachen 1984: 71-84 |
