Travelled to:1 × USA
Collaborated with:T.J.W.Clarke A.C.Norman
Talks about:practic (1) reduct (1) method (1) combin (1) rapid (1) some (1)
Person: W. R. Stoye
DBLP: Stoye:W=_R=
Contributed to:
1984Wrote 1 papers:
- LFP-1984-StoyeCN #agile #combinator #reduction
- Some Practical Methods for Rapid Combinator Reduction (WRS, TJWC, ACN), pp. 159–166.