Commit 9934ca36 authored by André Pacak's avatar André Pacak
Browse files


parent 7b308d06
......@@ -24,7 +24,7 @@ To build the type checkers in IncA, install [IncA](
## Publications
**Vision Paper: Generating Incremental Type Services**
André Pacak and Sebastian Erdweg
**Vision Paper: Generating Incremental Type Services**<br/>
André Pacak and Sebastian Erdweg<br/>
_Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE)._ ACM, 2019
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