[Haskell-cafe] Programming an Evaluation Context

[Jim Apple]

On 2/14/07, Klaus Ostermann <ostermann at informatik.tu-darmstadt.de> 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