𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Being For: Evaluating the Semantic Program of Expressivism

✍ Scribed by Briggs, Rachael

Book ID
120476731
Publisher
Taylor and Francis Group
Year
2009
Tongue
English
Weight
59 KB
Volume
87
Category
Article
ISSN
0004-8402

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A residualizing semantics for the partia
A residualizing semantics for the partial evaluation of functional logic programs
✍ Elvira Albert; Michael Hanus; GermΓ‘n Vidal πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 103 KB

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we intr