A Monadic Semantics for Core Curry (2003)
Cached
Download Links
- [www.cs.pdx.edu]
- [www.cs.pdx.edu:80]
- [cs.pdx.edu]
- [web.cecs.pdx.edu]
- [web.cecs.pdx.edu]
- [www.cs.pdx.edu]
- DBLP
Other Repositories/Bibliography
by
Andrew Tolmach
,
Sergio Antoy
| Citations: | 7 - 2 self |
BibTeX
@MISC{Tolmach03amonadic,
author = {Andrew Tolmach and Sergio Antoy},
title = {A Monadic Semantics for Core Curry},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
