[Haskell-cafe] Re: Simulating client server communication with recursive monads

[apfelmus]

[redirected to haskell-cafe]

Jan Stranik wrote:
> Do you know what is the theoretical foundation for having mfix process
> side-effects in the lexical order as opposed to execution order?
> Could you point me to some papers, if you know of any off top your head? 

   http://www.cse.ogi.edu/pacsoft/projects/rmb/


Regards,
apfelmus