2009 |
8 | EE | J. Thomas Haigh,
Steven A. Harp,
Richard C. O'Brien,
Charles N. Payne,
Johnathan Gohde,
John Maraist:
Trapping Malicious Insiders in the SPDR Web.
HICSS 2009: 1-10 |
2008 |
7 | | Christopher W. Geib,
John Maraist,
Robert P. Goldman:
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting.
ICAPS 2008: 91-98 |
1999 |
6 | 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 |
5 | | John Maraist:
Separating Weakening and Contraction in a Linear Lambda Calculus.
CATS 1998: 151-166 |
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 |