- document
-
Brouwer, Jonathan (author), Cockx, J.G.H. (author), Zwaan, A.S. (author)Static type systems can greatly enhance the quality of programs, but implementing a type checker that is both expressive and user-friendly is challenging and error-prone. The Statix meta-language (part of the Spoofax language workbench) aims to make this task easier by automatically deriving a type checker from a declarative specification of...conference paper 2023