SLE 2020 paper:
Monadification of Attribute Grammars

Dawn Michaelson, Eric Van Wyk

DOI: 10.1145/3426425.3426941
T1B: Static Semantics
- The paper’s main contribution concerns static semantics, especially typing or constraint checking.
T4A: Workbenches
- It includes substantial tool support or infrastructure relevant for engineering/using languages.
T5D: Formal Methods
- It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
T5E: Empirical Evaluation
- It reports an empirical evaluation (experiments, study, benchmarks, or measurements).

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