✦ LIBER ✦

A fully abstract semantics for a nondeterministic functional language with monadic types

✍ Scribed by Alan Jeffrey

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 570 KB
Volume: 1
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80016-1

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

Linearity, Sharing and State: a fully ab

Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions: Extended Abstract

✍ Samson Abramsky; Guy McCusker 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 642 KB