| 1999 |
|---|
| 5 | EE | John Maraist,
Martin Odersky,
David N. Turner,
Philip Wadler:
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus.
Theor. Comput. Sci. 228(1-2): 175-210 (1999) |
| 1998 |
|---|
| 4 | | John Maraist,
Martin Odersky,
Philip Wadler:
The Call-by-Need Lambda Calculus.
J. Funct. Program. 8(3): 275-317 (1998) |
| 1995 |
|---|
| 3 | | Zena M. Ariola,
Matthias Felleisen,
John Maraist,
Martin Odersky,
Philip Wadler:
The Call-by-Need Lambda Calculus.
POPL 1995: 233-246 |
| 2 | EE | John Maraist,
Martin Odersky,
David N. Turner,
Philip Wadler:
Call-by-name, call-by-value, call-by-need and the linear lambda calculus.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 1994 |
|---|
| 1 | | John Maraist,
Frank S. K. Silbermann:
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages.
PLILP 1994: 355-369 |
