Implementation of Modular Algebraic Specifications
No abstract available.
Related papers
- Kami: a platform for high-level parametric hardware specification and its modular verification ICFP 2017
- Modular probabilistic models via algebraic effects ICFP 2022
- Unified Algebras and Modules POPL 1989
- From object algebras to attribute grammars OOPSLA 2014
- Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects POPL 2023
- Hefty algebras: Modular elaboration of higher-order effects JFP 2025
- Melange: a meta-language for modular and reusable development of DSLs SLE 2015
- Parameterized Algebraic Protocols PLDI 2023