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]

@inproceedings{PelsmaekerAV19-SPLASH,
  title = {Towards language-parametric semantic editor services based on declarative type system specifications},
  author = {Daniël A. A. Pelsmaeker and Hendrik van Antwerpen and Eelco Visser},
  year = {2019},
  doi = {https://doi.org/10.1145/3359061.3362782},
  researchr = {https://researchr.org/publication/PelsmaekerAV19-SPLASH},
  cites = {0},
  citedby = {0},
  pages = {19-20},
  booktitle = {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},
  editor = {Yannis Smaragdakis},
  publisher = {ACM},
  isbn = {978-1-4503-6992-3},
}