[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