Paper on incremental type checking accepted at SLE

Vision Paper: Generating Incremental Type Services
André Pacak and Sebastian Erdweg. In Proceedings of Software Language Engineering (SLE). ACM, 2019. [ Details ]