[cap-talk] new paper
David Hopwood
david.nospam.hopwood at blueyonder.co.uk
Sat Aug 5 18:11:37 EDT 2006
Mark S. Miller wrote:
> Can now be found at
> http://www.info.ucl.ac.be/people/PVR/rr2005-12.pdf
Table 1:
# iCollect(S_1) S_1 tries to invoke subject S_2 and collect from it
Should that not be iCollect(S_1, S_2)?
# rCollect(S_1, S_2) S_1 tries to collect when invoked
Should that not be rCollect(S_1)?
[See also Example (part 1), where iCollect has two arguments and rCollect
has one.]
--
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>
More information about the cap-talk
mailing list