sle2012/paper18

SLE 2012 paper:
Meta-language Support for Type-Safe Access to External Resources

Mark Hills, Paul Klint, Jurgen Vinju

• DOI: 10.1007/978-3-642-36089-3_21
• T3A: Meta-languages
  • The paper extends the Rascal meta-programming language with “resources” as a language feature for meta-programs.
• T1B: Static Semantics
  • Its headline contribution is type-safe access, with static type generation/checking for externally defined data schemas.
• T3F: API
  • External resources are identified and accessed via URIs and mapped into language-level types, effectively providing a structured API boundary.
• T4A: Workbenches
  • The feature is integrated into a practical meta-programming environment (Rascal) aimed at language engineering tasks.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.