Travelled to:1 × Spain
2 × USA
Collaborated with:∅ F.S.K.Silbermann Z.M.Ariola M.Felleisen M.Odersky P.Wadler
Talks about:techniqu (1) function (1) calculus (1) languag (1) system (1) reduct (1) narrow (1) common (1) across (1) share (1)
Person: John Maraist
DBLP: Maraist:John
Contributed to:
2010
1995
1994Wrote 3 papers:
- ILC-2010-Maraist #lisp #named #testing
- NST: a unit testing system for common Lisp (JM), pp. 53–64.
- POPL-1995-AriolaFMOW #call-by #λ-calculus
- The Call-by-Need λ Calculus (ZMA, MF, JM, MO, PW), pp. 233–246.
- PLILP-1994-MaraistS #functional #graph #reduction
- A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages (JM, FSKS), pp. 355–369.