Continuations as thread states
Henry G. Baker
Thu, 1 May 1997 07:54:26 -0700 (PDT)
> >> 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/
www/ftp directory URL: