sle2019/vision3

SLE 2019 vision paper:
Generating Incremental Type Services

André Pacak, Sebastian Erdweg

• DOI: 10.1145/3357766.3359534
• T1B: Static Semantics
  • The paper’s main contribution concerns static semantics, especially typing or constraint checking.
• T4B: Horizontal Transformation
  • It performs mapping/conversion/synchronisation between representations (horizontal transformations).

---

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