Commit 658a5352 authored by André Pacak's avatar André Pacak

fix

parent 9934ca36
...@@ -27,4 +27,4 @@ To build the type checkers in IncA, install [IncA](https://github.com/szabta89/I ...@@ -27,4 +27,4 @@ To build the type checkers in IncA, install [IncA](https://github.com/szabta89/I
**Vision Paper: Generating Incremental Type Services**<br/> **Vision Paper: Generating Incremental Type Services**<br/>
André Pacak and Sebastian Erdweg<br/> André Pacak and Sebastian Erdweg<br/>
_Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE)._ ACM, 2019 _Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE)._ ACM, 2019
[[PDF]](https://andrepacak.de/paper/vision_generating_incremental_type_services.pdf") [[PDF]](https://andrepacak.de/paper/vision_generating_incremental_type_services.pdf)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment