From 9934ca360e9610f52ed1e8d5212a39a17b51f2e7 Mon Sep 17 00:00:00 2001 From: Andre Pacak Date: Thu, 24 Oct 2019 15:28:16 +0200 Subject: [PATCH] fix --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index cdba18c..3b6c0d2 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") -- GitLab