๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Definitional Interpreters for Higher-Order Programming Languages

โœ Scribed by John C. Reynolds

Book ID
110285148
Publisher
Springer
Year
1998
Tongue
English
Weight
154 KB
Volume
11
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Higher-order communications for concurre
Higher-order communications for concurrent programming
โœ Alberto Pettorossi; Andrzej Skowron ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 359 KB

In a recursive-equations language is introduced. Its operational semantics is specified by means of computing agents which communicate and exchange messages. Those communications are, so to speak, zero-order, in the sense that the exchanged messages are values of a data structure, possibly defined

[Undergraduate Topics in Computer Scienc
[Undergraduate Topics in Computer Science] Programming Language Concepts Volume 50 || Higher-Order Functions
โœ Sestoft, Peter ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer London ๐ŸŒ English โš– 183 KB

Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack ma