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:
Wrote 1 papers:
- LFP-1984-StoyeCN #agile #combinator #reduction
- Some Practical Methods for Rapid Combinator Reduction (WRS, TJWC, ACN), pp. 159–166.