@inproceedings{DBLP:conf/esop/CastellanP19,
  title = "Probabilistic Programming Inference via Intensional Semantics",
  author = "Simon Castellan and Hugo Paquet",
  year = "2019",
  booktitle = "Programming Languages and Systems - 28th European Symposium on Programming, {ESOP} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings",
  pages = "322--349",
  url = "https://doi.org/10.1007/978-3-030-17184-1\_12",
  doi = "10.1007/978-3-030-17184-1\_12",
}