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

Henry Baker
www/ftp directory URL: