𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constructive Action Semantics for Core ML

✍ Scribed by Iversen, J.; Mosses, P.D.

Book ID
117813314
Publisher
The Institution of Electrical Engineers
Year
2005
Tongue
English
Weight
504 KB
Volume
152
Category
Article
ISSN
1462-5970

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A constructive semantics for non-deducib
A constructive semantics for non-deducibility
✍ Francesco Ciraulo πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 157 KB

## Abstract This paper provides a constructive topological semantics for non‐deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co‐induction are two needful tools. (Β© 2008 WILEY‐VCH Verlag

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

A Space Semantics for Core Haskell
A Space Semantics for Core Haskell
✍ Bakewell Adam; Runciman Colin πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 29 KB