@inproceedings{eberl15esop,
author="Eberl, Manuel and H{\"o}lzl, Johannes and Nipkow, Tobias",
editor="Vitek, Jan",
title="A Verified Compiler for Probability Density Functions",
booktitle="Programming Languages and Systems (ESOP 2015)",
series="Lecture Notes in Computer Science",
volume="9032",
year="2015",
publisher="Springer",
address="Berlin, Heidelberg",
pages="80--104",
doi="10.1007/978-3-662-46669-8_4",
isbn="978-3-662-46669-8"
}