A lambda-calculus foundation for universal probabilistic programming.

Johannes Borgstrm, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak

Browse the full ICFP paper archive.