@misc{indiciae569bfda34ec9,
  title = {Approximate Relational Reasoning for Higher-Order Probabilistic Programs},
  author = {Philipp G. Haselwarter and Kwing Hei Li and Alejandro Aguirre and Simon Oddershede Gregersen and Joseph Tassarotti and Lars Birkedal},
  year = {2024},
  doi = {10.1145/3704877},
  url = {https://arxiv.org/abs/2407.14107},
  note = {Source identifier: 2407.14107}
}