Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language
Abstract elided by the publisher.
Related papers
- Melange: a meta-language for modular and reusable development of DSLs SLE 2015
- Modular domain-specific language components in scala GPCE 2010
- Weaving concurrency in executable domain-specific modeling languages SLE 2015
- The linearity Monad Haskell 2017
- Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles PLDI 2026
- Migrating custom DSL implementations to a language workbench (tool demo) SLE 2018
- Programming with Variable Functions ICFP 1998
- A Modular Approach to Metatheoretic Reasoning for Extensible Languages TOPLAS 2025