Continuations as thread states

[Henry G. Baker]

> >> If you fear about the power of duplicating continuations,
> You can force a linear context around them,
> by tagging them as linear/unique objects,
> in which case they are isomorphic to thread states,
> only you could manipulate them with the same ease as any reifed object.

>From an old posting on comp.lang.lisp:

There is available online an excellent functional language for the
Macintosh with what they call 'unique' types (the same as 'linear'
types).  This language is called Clean, and I think that it may
be downloadable for free.  See ftp.cs.kun.nl/pub/Clean/

-- 
Henry Baker
www/ftp directory URL:
ftp://ftp.netcom.com/pub/hb/hbaker/home.html