## Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak

*A lambda-calculus foundation for universal probabilistic programming*

ICFP, 2016.

@inproceedings{ICFP-2016-BorgstromLGS, author = "Johannes Borgström and Ugo Dal Lago and Andrew D. Gordon and Marcin Szymczak", booktitle = "{Proceedings of the 21st International Conference on Functional Programming}", doi = "10.1145/2951913.2951942", isbn = "978-1-4503-4219-3", pages = "33--46", publisher = "{ACM}", title = "{A lambda-calculus foundation for universal probabilistic programming}", year = 2016, }