Concepedia

John Maraist

JM

Statistics

Publications

5

Citations

544

H-Index

5

Active since

1995

Affiliations

Karlsruhe Institute of Technology(Current)

University of South Australia

University of Glasgow

John Maraist is an author at Karlsruhe Institute of Technology specializing in computer science, computing, and lambda calculus semantics.

Publications per year

1995–2008

5

Publications

5

A call-by-need lambda calculus

Zena M. Ariola, John Maraist, Martin Odersky et al. · 1995 · 248 citations

Computing, Computer Science, Compilers +15

The call-by-need lambda calculus

John Maraist, Martin Odersky, Philip Wadler · Journal of Functional Programming · 1998 · 121 citations · Full text

Computing, Computer Science, Compilers +13

Call-by-name, call-by-value, call-by-need and the linear lambda calculus

John Maraist, Martin Odersky, David N. Turner et al. · Theoretical Computer Science · 1999 · 102 citations · Full text

Computing, Computer Science, Algebra +8

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus

John Maraist, Martin Odersky, David N. Turner et al. · Electronic Notes in Theoretical Computer Science · 1995 · 40 citations · Full text

Humanities, Mathematics, Algebra +8

A new probabilistic plan recognition algorithm based on string rewriting

Christopher Geib, John Maraist, Robert P. Goldman · 2008 · 33 citations

Computing, Computer Science, Algorithms +8

1–5 of 5