𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Distributivity for a monad and a comonad

✍ Scribed by John Power; Hiroshi Watanabe

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
28 KB
Volume
19
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Monadic Semantics for Core Curry
A Monadic Semantics for Core Curry
✍ Andrew Tolmach; Sergio Antoy πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 169 KB

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 execut

Decidability of Unification in the Theor
Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit
✍ Manfred Schmidt-Schauß πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 683 KB

Unification in the equational theory of one-sided distributivity and a multiplicative unit is shown to be decidable. The algorithm is a non-deterministic one that eventually uses a decision algorithm for string unification problems with constant restrictions, which was shown to be decidable by K. Sc

Distributed BACI: a toolkit for distribu
Distributed BACI: a toolkit for distributed applications
✍ Burdette, Steven; Camp, Tracy; Bynum, Bill πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 139 KB πŸ‘ 1 views

We have built a distributed Ben-Ari Concurrent Interpreter (distributed BACI), which provides easy-touse commands to implement distributed algorithms. In distributed BACI, a send process, receive process, and interpreter process combine to provide the distributed system functionality necessary to im