A Monadic Semantics for Core Curry

✍ Scribed by Andrew Tolmach; Sergio Antoy

• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 169 KB
• Volume: 86
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(04)80691-1

✦ Synopsis

We give a deterministic, big-step operational semantics for the essential core of the Curry language, including higher-order functions, call-by-need evaluation, nondeterminism, narrowing, and residuation. The semantics is structured in modular monadic style, and is presented in the form of an executable interpreter written in Haskell. It uses monadic formulations of state, non-determinism, and resumptionbased concurrency.