diff --git a/README.md b/README.md index cdba18cebc0a406511b883cb40f14745a31f27ae..3b6c0d29e6a5c7fd8a9e4baf4eb1ad9f38693fe5 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,7 @@ To build the type checkers in IncA, install [IncA](https://github.com/szabta89/I ## Publications -**Vision Paper: Generating Incremental Type Services** -André Pacak and Sebastian Erdweg +**Vision Paper: Generating Incremental Type Services**
+André Pacak and Sebastian Erdweg
_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")