Linear namespaces, monads, and Slate

[Brian Rice]

At 11:28 PM 6/13/00 -0700, Brian Rice wrote:
>To Tunes members and Slate listeners all,
>
>I searched the mailing lists and couldn't find any clear references to 
>this paper, so I thought I should mention it here.
>
>This paper in very extensive form outlines most of the potential benefits 
>of linear naming (related closely to the notions of linear typing and 
>linear logic). This is extremely close to the Slate philosophy of how 
>namespaces are available, but I'd also like to be able to keep such an 
>issue in Slate's MOP as much as possible. At any rate, the only 
>differences between Slate and the notions of this paper are extremely 
>trivial (only syntax and implementation-related), so this doesn't mean Yet 
>Another shift in the Slate paradigm. Instead, it should serve as an 
>effective tool for formalizing the Slate language, particularly the 
>evaluation model that is currently being resolved to a final extent. The 
>results of this should also extend into the meta-object system library.
>
>Anyway, I'm just as impatient as you all to see this language get out of 
>the research stage and into implementation and testing and development, so 
>please be patient because I'm making sure that everyone is getting what 
>they need out of this (particularly Tunes HLL).
>
>Thanks for the interest everyone,
>~

Oops I forgot the URL: 
ftp://publications.ai.mit.edu/ai-publications/1500-1999/AITR-1627.ps

That's 156 pages, not just light reading, although anyone who can read SEXP 
will find it very readible.

Thanks again,
~