From 9e54428c33becb873966c101f81510a8ecac1a29 Mon Sep 17 00:00:00 2001 From: Edward Lee Date: Mon, 26 Feb 2024 12:14:20 -0500 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 75407c9..90c2d6d 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ This GitHub repository constitutes the artifact for our paper > Qualifying System F-Sub. Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser. -> Conditionally accepted at OOPSLA 2024. +> OOPSLA 2024 (Proc. ACM Program. Lang. 8, OOPSLA1, Article 115 (April 2024), 30 pages. https://doi.org/10.1145/3649832). ## Overview @@ -95,4 +95,4 @@ for our 3 dervied calculi we started from our base calculus proof and extended it with the new terms and reduction rules -- features -- present in each extension, taking care to assign meaningful and reasonable interpretations of qualifiers as well, as one would do on paper as well -(See Section 2.2 of the paper). \ No newline at end of file +(See Section 2.2 of the paper).