@article{scibior-2017-denotational,
  author    = {Adam Scibior and
               Ohad Kammar and
               Matthijs V{\'{a}}k{\'{a}}r and
               Sam Staton and
               Hongseok Yang and
               Yufei Cai and
               Klaus Ostermann and
               Sean K. Moss and
               Chris Heunen and
               Zoubin Ghahramani},
  title     = {Denotational validation of higher-order Bayesian inference},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {60:1--60:29},
  year      = {2018},,
  doi       = {10.1145/3158148},
}