[Haskell-cafe] Programming an Evaluation Context

Jim Apple jbapple+haskell-cafe at gmail.com
Wed Feb 14 22:47:25 EST 2007

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


The Derivative of a Regular Type is its Type of One-Hole Contexts


More information about the Haskell-Cafe mailing list