On 2/14/07, Klaus Ostermann <[EMAIL PROTECTED]> wrote:
in structural operational semantics, an evaluation context is often used to decompose an expression into a redex and its context.
Have you seen http://citeseer.ist.psu.edu/mcbride01derivative.html The Derivative of a Regular Type is its Type of One-Hole Contexts Jim _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
