[cap-talk] NDAs

[Mark Miller]

On Tue, Jun 9, 2009 at 1:42 AM, Toby Murray<toby.murray at comlab.ox.ac.uk> wrote:
> Just to clarify, in Flat Concurrent Prolog, I'm guessing that these
> channels are unbound dataflow variables. Presumably, like in Oz, one is
> able to construct "read-only" references to a variable that do not allow
> the holder to bind the variable but to merely wait on its binding or
> read the value to which it has been bound.

Yes, exactly. I would have cited Oz as well but I was less clear on
the details. Thanks for clarifying.


-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM