Free S-Monoids: A Higher-Order Syntax with Metavariables
No abstract available.
Related papers
- Semantics of pattern unification JFP 2025
- Generalized monoidal effects and handlers JFP 2020
- Formal metatheory of second-order abstract syntax POPL 2022
- Modular Models of Monoids with Operations ICFP 2023
- 2-Functoriality of Initial Semantics, and Applications ICFP 2025
- An algebra for distributed Big Data analytics JFP 2017
- A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming ESOP 2025
- Algebraic fusion of functions with an accumulating parameter and its improvement ICFP 2006