BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maraist:John

Contributed to:

ILC 20102010
POPL 19951995
PLILP 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.