Re: [Haskell-cafe] Programming an Evaluation Context

On 2/14/07, Klaus Ostermann 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