✦ LIBER ✦

A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

✍ Scribed by Manuel Montenegro; Ricardo Peña; Clara Segura

Book ID: 108127115
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 363 KB
Volume: 246
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.07.021

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A fully abstract semantics for a nondete

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

✍ Alan Jeffrey 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 570 KB

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

A fully abstract semantics for a nondete

A fully abstract semantics for a nondeterministic functional language with monadic types : Alan Jeffrey http://www.elsevier.nl/locate/entcs/volume1/jeffrey

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 73 KB

[IEEE Tenth Annual IEEE Symposium on Log

[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - A fully abstract semantics for a concurrent functional language with monadic types

✍ Jeffrey, A. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 760 KB