𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Monads in Semantics

✍ Scribed by Philip S. Mulry

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
693 KB
Volume
14
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Coalgebras and monads in the semantics o
Coalgebras and monads in the semantics of Java
✍ Bart Jacobs; Erik Poll πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 225 KB

This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the veriΓΏcation of (sequential) Java programs using proof tools in the LOOP project at the

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

Semantic Domains, Injective Spaces and M
Semantic Domains, Injective Spaces and Monads: Extended Abstract
✍ MartΓ­n H. EscardΓ³; Robert C. Flagg πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 972 KB

Many categories of semantic domains can be considered from an order-theoretic point of view and from a topological point of view via the Scott topology. The topological point of view is particularly fruitful for considerations of computability in classical spaces such as the Euclidean real line. Whe

Trajectories in Random Monads
Trajectories in Random Monads
✍ A. D. Ramos; A. Toom πŸ“‚ Article πŸ“… 2010 πŸ› Springer 🌐 English βš– 615 KB
Coalgebraic Monads
Coalgebraic Monads
✍ Neil Ghani; Christoph LΓΌth; Federico De Marchi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 298 KB