Update README.md

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).
+(See Section 2.2 of the paper).