> Is anyone working on callcc for OCaml?

I have a related question: in _Scheme_, there are some implementations
of call/cc using threads.  Is this approach viable in OCaml?  That is,
is it possible to implement callcc in OCaml by using the standard
"Threads" library?  Or is it diffiult because of a typing problem or
whatever?

// Eijiro Sumii (http://www.yl.is.s.u-tokyo.ac.jp/~sumii/)
// 
// Ph.D. Student at Department of IS, University of Tokyo
// Visiting Scholar at Department of CIS, University of Pennsylvania