`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:

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