𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mashup of metalanguages and its implementation in the Kermeta language workbench

✍ Scribed by Jézéquel, Jean-Marc; Combemale, Benoit; Barais, Olivier; Monperrus, Martin; Fouquet, François

Book ID
121633024
Publisher
Springer-Verlag
Year
2013
Tongue
English
Weight
911 KB
Volume
14
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Suspension Notation for Lambda Terms
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
✍ Gopalan Nadathur 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 729 KB

Many metalanguages and logical frameworks have emerged in recent years that use the terms of the lambda calculus as data structures. A common set of questions govern the suitability of a representation for lambda terms in the implementation of such systems: \(\alpha\)-convertibility must be easily r