[cap-talk] Algol-68 and ML terminology (was: Wikipedia: Object-capability model - reference vs. capability? KISS)

[Jonathan S. Shapiro]

On Thu, 2007-01-18 at 10:34 -0800, Mark S. Miller wrote:
> Jonathan S. Shapiro wrote:
> > MarkM, Ping: does the use of the term "reference" in the page correspond
> > precisely to the use of this term in ML and/or Haskell? It would be very
> > nice if it did.
> 
> 
> I thought I knew that the answer to this is "no", but earlier
> 
> 
> David Hopwood wrote:
>  >>> The use of "reference"
>  >>> here exactly corresponds to the OO language usage).

Yes. I suppose my question is: does the user of "reference" by the OO
language community match the use by the ML/Haskell community? It would
be really nice if our use of the term conformed to existing usage in the
context of logical frameworks.

Note: nice, not essential. At a minimum, it is sufficient to know which
camp's lexicon we are using.

shap
-- 
Jonathan S. Shapiro, Ph.D.
Managing Director
The EROS Group, LLC
+1 443 927 1719 x5100