𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Space Semantics for Core Haskell

✍ Scribed by Bakewell Adam; Runciman Colin

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
29 KB
Volume
41
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

Semantic middleware for e-Science knowle
Semantic middleware for e-Science knowledge spaces
✍ Joe Futrelle; Jeff Gaynor; Joel Plutchak; James D. Myers; Robert E. McGrath; Pet πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 96 KB πŸ‘ 1 views

## SUMMARY The Tupelo semantic content management middleware implements Knowledge Spaces that enable scientists to integrate information into a comprehensive research record as they work with existing tools and domain‐specific applications. Knowledge Spaces combine approaches that have demonstrated

Coherent Banach spaces: a continuous den
Coherent Banach spaces: a continuous denotational semantics
✍ Jean-Yves Girard πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 171 KB

We present a denotational semantics based on Banach spaces; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm: coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm