"A Language Based Approach to Unifying Events and Threads"

[Li, Peng]

Alas---the variable mx should be f, instead of (return f).  Thanks for
pointing it out!

Best regards,
Peng

On 4/27/06, Brian Hulley <brianh at metamilk.com> wrote:
> One little point. I think that the definition of sys_fork in figure 10, page
> 7, which reads:
>
>         sys_fork f = M(\c->SYS_FORK (build_trace mx) (c ())
>
> should instead be:
>
>         sys_fork f = M(\c->SYS_FORK (build_trace (return f)) (c ())
>
> since there is no variable 'mx' in scope as far as I can see.
>
> Thanks again, Brian.