Thomas Ehrhard, Michele Pagani, Christine Tasson
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming
POPL, 2018.
@article{POPL-2018-EhrhardPT,
author = "Thomas Ehrhard and Michele Pagani and Christine Tasson",
doi = "10.1145/3158147",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming}",
volume = 2,
year = 2018,
}