From d378e25037a0ede97db8f0a9dc3191cb84d6815d Mon Sep 17 00:00:00 2001
From: Hei Li <hei411@gmail.com>
Date: Thu, 16 Jan 2025 10:52:18 +0100
Subject: [PATCH] Update link of approxis in readme

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 813ff798..ee9367ff 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@ All of the logics are built using the [Iris](https://iris-project.org) program l
 
 ## Publications
 
-[**Approximate Relational Reasoning for Higher-Order Probabilistic Programs**](https://arxiv.org/abs/2407.14107)<br>
+[**Approximate Relational Reasoning for Higher-Order Probabilistic Programs**](https://dl.acm.org/doi/10.1145/3704877)<br>
 *Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal*<br>
 In POPL 2025: ACM SIGPLAN Symposium on Principles of Programming Languages