𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantics of Untyped Functional Programs

✍ Scribed by S. A. Nigiyan; S. A. Avetisyan

Book ID
110339534
Publisher
SP MAIK Nauka/Interperiodica
Year
2002
Tongue
English
Weight
89 KB
Volume
28
Category
Article
ISSN
0361-7688

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

Atomic semantics of nonatomic programs
Atomic semantics of nonatomic programs
✍ James H. Anderson; Mohamed G. Gouda πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 541 KB
Semantics of sub-probabilistic programs
Semantics of sub-probabilistic programs
✍ Chen, Yixiang ;Wu, Hengyang πŸ“‚ Article πŸ“… 2008 πŸ› Higher Education Press and Springer 🌐 English βš– 185 KB