✦ LIBER ✦

A Semantics for Static Type Inference in a Nondeterministic Language

✍ Scribed by M. Abadi

Book ID: 112252066
Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 257 KB
Volume: 109
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1994.1019

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

Static Type Inference for a First-Order

Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance

✍ REBECCA WALPOLE DJANG; MARGARET M. BURNETT; ROGER D. CHEN 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Standard model semantics for DSL a data

Standard model semantics for DSL a data type specification language

✍ J. A. Bergstra; J. Terlouw 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Relating direct and predicate transforme

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language

✍ K. Keimel; A. Rosenbusch; T. Streicher 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 307 KB

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