Towards language-parametric semantic editor services based on declarative type system specifications

Daniƫl A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. Towards language-parametric semantic editor services based on declarative type system specifications. In Yannis Smaragdakis, editor, Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2019, Athens, Greece, October 20-25, 2019. pages 19-20, ACM, 2019. [doi]

Abstract

Abstract is missing.