Date: May 16, 2003, 11am

Place: Columbia

I'll describe a high-level operational semantics for the essential core of the Curry language, including higher-order functions, call-by-need evaluation, non-determinism, narrowing, and residuation. The semantics is structured in monadic style, and is presented in the form of an executable interpreter written in Haskell.

(This is joint work with Sergio Antoy.)