![]() | ![]() |
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 | |
1987 | ||
2 | F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm: A Space-Efficient Optimization of Call-by-Need. IEEE Trans. Software Eng. 13(6): 636-642 (1987) | |
1986 | ||
1 | Hans-Georg Oberhauser: On the correspondence of lambda style reduction and combinator style reduction. Graph Reduction 1986: 1-25 |
1 | F. Warren Burton | [2] |
2 | Erwin Hoffmann | [3] |
3 | Dieter Maurer | [2] [3] |
4 | Fritz Müller | [3] |
5 | Martin Raber | [3] |
6 | Thomas Remmel | [3] |
7 | Reinhard Wilhelm | [2] [3] |