sle2017/paper19

SLE 2017 paper:
Type-Safe Modular Parsing

Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira

• DOI: 10.1145/3136014.3136016
• T1D: Composition
  • The focus is modular parsing—supporting extensibility and separate compilation of parsers for language fragments.
• T1B: Static Semantics
  • Type safety is a first-class requirement, so the approach relies on static guarantees about composed parsers.
• T4A: Workbenches
  • Modular parsing is motivated by and applicable to building scalable language tooling (parsers) in workbenches.
• T3A: Meta-languages
  • The work assumes grammar-like specifications for fragments, treating parsing interfaces as meta-language artifacts.

---

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