Skip to content

Commit

Permalink
Update link of approxis in readme
Browse files Browse the repository at this point in the history
  • Loading branch information
@hei411
hei411 authored Jan 16, 2025
1 parent e4c5a05 commit d378e25
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit d378e25

Please sign in to comment.