𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On basic semantics of untyped functional programs

✍ Scribed by G. G. Hrachyan

Book ID
110190938
Publisher
SP MAIK Nauka/Interperiodica
Year
2009
Tongue
English
Weight
334 KB
Volume
35
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Semantics of Untyped Functional Programs
Semantics of Untyped Functional Programs
✍ S. A. Nigiyan; S. A. Avetisyan πŸ“‚ Article πŸ“… 2002 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 89 KB
Optimal Programming of Basic Functions
Optimal Programming of Basic Functions
✍ Hugh F. McAlister; Ronald E. Vlietstra πŸ“‚ Article πŸ“… 1999 πŸ› Springer 🌐 English βš– 105 KB
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