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

Danil A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser

Browse the full OOPSLA paper archive.