sle2018/paper01

SLE 2018 paper:
The Next 700 Unit of Measurement Checkers

Oscar Bennich-Björkman, Steve McKeever

• DOI: 10.1145/3276604.3276613
• 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.
• 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.