On 05-Jul-1999, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
> I am looking for advice or ideas on the formulation of an operational
> semantics for studying the behaviour of Haskell programs. What I have
> in mind is a structured semantics for the unoptimized evaluation of
> Core Haskell programs (my main interest is in studying space
> behaviour). By unoptimised I mean modelling lazy evaluation 'as it
> ought to be done', with no changes or implementation assumptions that
> could modify the time or space behaviour of a program.
>
You could have a look at Andy Morans work.
http://www.cs.chalmers.se/~andrew/
Pete.
