Travelled to:1 × France
2 × Germany
Collaborated with:∅ H.Ehrig A.S.K.Cheng P.J.Robinson
Talks about:level (2) graph (2) represent (1) properti (1) overmost (1) leftmost (1) calculus (1) program (1) express (1) system (1)
Person: John Staples
DBLP: Staples:John
Contributed to:
1991
19821978Wrote 4 papers:
- ICLP-1991-ChengRS #metaprogramming #prolog
- Higher Level Meta Programming in Qu-Prolog 3: 0 (ASKC, PJR, JS), pp. 285–298.
- GG-1982-EhrigS #graph transformation
- Church-Rosser properties for graph replacement systems with unique splitting (HE, JS), pp. 82–101.
- GG-1982-Staples #evaluation #performance #representation
- Two-level expression representation for faster evaluation (JS), pp. 392–404.
- GG-1978-Staples #reduction #λ-calculus
- A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal (JS), pp. 440–455.