𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing

✍ Scribed by Chrysafis Hartonas; Matthew Hennessy

Book ID
112252362
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
767 KB
Volume
145
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A fully abstract semantics for a higher-
A fully abstract semantics for a higher-order functional language with nondeterministic computation
✍ Alan Jeffrey πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 299 KB

This paper presents a functional programming language, based on Moggi's monadic metalanguage. In the ΓΏrst part of this paper, we show how the language can be regarded as a monad on a category of signatures, and that the resulting category of algebras is equivalent to the category of computationally