@article{craciun2026lazyhmc,
  title = "{LazyHMC}: {H}amiltonian {M}onte {C}arlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs",
  author = "Maria-Nicoleta Cr{\u a}ciun and C.-H. Luke Ong and Tom Schrijvers and Sam Staton",
  year = "2026",
  journal = "Proceedings of the ACM on Programming Languages",
  note = "Article 298",
  number = "ICFP",
  volume = "10",
  doi = "10.1145/3828696",
}