On a monadic semantics for freshness
نویسندگان
چکیده
منابع مشابه
On a monadic semantics for freshness
A standard monad of continuations, when constructed with domains in the world ofFM-sets [1], is shown to provide a model of dynamic allocation of fresh names that isboth simple and useful. In particular, it is used to prove that the powerful facilitiesfor manipulating fresh names and binding operations provided by the “FreshML”series of metalanguages [2–4] respect α-equivalence ...
متن کاملComputational semantics for monadic quantifiers
The paper gives a survey of known results related to computational devices (finite and push–down automata) recognizing monadic generalized quantifiers in finite models. Some of these results are simple reinterpretations of descriptive—feasible correspondence theorems from finite–model theory. Additionally a new result characterizing monadic quantifiers recognized by push down automata is proven...
متن کاملA Monadic Semantics for Core Curry 1
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 executable interpreter written in Haskell. It uses monadic formulations of state, non-determinism, and ...
متن کاملA monadic semantics for core Curry
We give a high-level 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 monadic style, and is presented in the form of an executable interpreter written in Haskell.
متن کاملA Modular Monadic Action Semantics
A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of a particular application. Domain-specific languages exist for a variety of reasons. As productivity tools, they are used to make application prototyping and development faster and more robust in the presence of evolving requirements. Furthermore, by bridging the “semantic gap” between an application...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.06.003