Follow
John Maraist
John Maraist
Unknown affiliation
Verified email at maraist.org - Homepage
Title
Cited by
Cited by
Year
A call-by-need lambda calculus
ZM Ariola, M Felleisen, J Maraist, M Odersky, P Wadler
POPL '95 - Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on …, 1995
4991995
The call-by-need lambda calculus
J Maraist, M Odersky, P Wadler
Journal of functional programming 8 (3), 275-317, 1998
1831998
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
J Maraist, M Odersky, DN Turner, P Wadler
Theoretical Computer Science 228 (1-2), 175-210, 1999
1041999
Call-by-name, call-by-value, call-by-need, and the linear lambda calculus
J Maraist, M Odersky, DN Turner, P Wadler
Electronic Notes in Theoretical Computer Science 1, 370-392, 1995
1001995
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting.
CW Geib, J Maraist, RP Goldman
ICAPS, 91-98, 2008
642008
Stratus: Strategic and tactical resiliency against threats to ubiquitous systems
M Burstein, D Wile, R Goldman, P Robertson, R Laddaga, R Balzer, ...
2012 IEEE Sixth International Conference on Self-Adaptive and Self …, 2012
122012
The call-by-need lambda calculus (unabridged)
J Maraist, M Odersky, P Wadler
Universität Karlsruhe, Fakultät für Informatik, 1994
121994
Trapping malicious insiders in the SPDR web
JT Haigh, SA Harp, RC O'Brien, CN Payne, J Gohde, J Maraist
System Sciences, 2009. HICSS'09. 42nd Hawaii International Conference on, 1-10, 2009
92009
Separating Weakening and Contraction in a Linear Lambda Calculus
J Maraist
in: Proc. CATS'98, Computing: the Fourth Australian Theory Symposium, Perth, 1998
81998
String Shuffling over a Gap between Parsing and Plan Recognition
J Maraist
Workshop on Plan, Activity, and Intent Recognition (PAIR), 2017
72017
LTML—a language for representing semantic web service workflow procedures
M Burstein, RP Goldman, DV McDermott, D McDonald, J Beal, J Maraist
Proceedings ISWC workshop on Semantics for the Rest of Us, 2009
52009
Comparing reduction strategies in resource-conscious lambda calculi
J Maraist
Univ. Karlsruhe, 1997
51997
SHOPPER: interpreter for a high-level web services language
RP Goldman, J Maraist
Proc. Int’l Lisp Conference, 2009
32009
A Pattern-Based Approach for a Flexible, Self-Extending Document System
C Salzmann, J Maraist
Proceedings of the 24th International Conference on Technology of Object …, 1997
31997
Identifying culprits when probabilistic verification fails
DJ Musliner, T Woods, J Maraist
International Design Engineering Technical Conferences and Computers and …, 2012
22012
On plan recognition and parsing
J Maraist, CW Geib, RP Goldman
22009
Model AI Assignments 2021
TW Neller, N Sprague, J Maraist, L Zhang, P Fewzee, D Long, J Moon, ...
Proceedings of the AAAI Conference on Artificial Intelligence 35 (17), 15705 …, 2021
12021
Experimental evaluation of qualitative probability applied to sensor fusion and intrusion detection/diagnosis
RP Goldman, J Maraist
28th International Workshop on Qualitative Reasoning, Minneapolis, 2015
12015
NST: A unit testing system for Common Lisp
J Maraist
Proceedings of the 2010 international conference on Lisp, 53-64, 2010
12010
A graph reduction technique with sharing across narrowings for functional-logic languages
J Maraist, FSK Silbermann
International Symposium on Programming Language Implementation and Logic …, 1994
11994
The system can't perform the operation now. Try again later.
Articles 1–20