S. Bhat, J. Borgström, A. D. Gordon, and C. V. Russo, Deriving Probability Density Functions from Probabilistic Functional Programs, TACAS, pp.508-522, 2013.
DOI : 10.1007/978-3-642-36742-7_35

P. Billingsley, Probability and Measure, 1995.

A. Bizjak and L. Birkedal, Step-Indexed Logical Relations for Probability, Proceedings of FoSSaCS 2015, pp.279-294, 2015.
DOI : 10.1007/978-3-662-46678-0_18

J. Borgström, U. Dal-lago, A. D. Gordon, and M. Szymczak, A lambdacalculus foundation for universal probabilistic programming (long version ), 2015.

P. Cousot and M. Monerau, Probabilistic Abstract Interpretation, Proceedings of ESOP 2012, pp.166-190, 2012.
DOI : 10.1007/978-3-642-28869-2_9

V. Danos and T. Ehrhard, Probabilistic coherence spaces as a model of higher-order probabilistic computation, Information and Computation, vol.209, issue.6, pp.966-991, 2011.
DOI : 10.1016/j.ic.2011.02.001
URL : https://hal.archives-ouvertes.fr/hal-00640435

V. Danos and R. Harmer, Probabilistic game semantics, ACM Transactions on Computational Logic, vol.3, issue.3, pp.359-382, 2002.
DOI : 10.1145/507382.507385

T. Ehrhard, C. Tasson, and M. Pagani, Probabilistic coherence spaces are fully abstract for probabilistic PCF, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.309-320, 2014.
DOI : 10.1145/2535838.2535865

S. Goldwasser and S. Micali, Probabilistic encryption, Journal of Computer and System Sciences, vol.28, issue.2, pp.270-299, 1984.
DOI : 10.1016/0022-0000(84)90070-9

D. Goodman and A. Stuhlmüller, The design and implementation of probabilistic programming languages, 2014.

N. D. Goodman and J. B. Tenenbaum, Probabilistic models of cognition, 2014.

N. D. Goodman, V. K. Mansinghka, D. M. Roy, K. Bonawitz, and J. B. Tenenbaum, Church: a language for generative models, Proceedings of UAI 2008, pp.220-229, 2008.

W. K. Hastings, Monte Carlo sampling methods using Markov chains and their applications, Biometrika, vol.57, issue.1, pp.97-109, 1970.
DOI : 10.1093/biomet/57.1.97

M. D. Homan and A. Gelman, The no-u-turn sampler: Adaptively setting path lengths in Hamiltonian Monte Carlo, Journal of Machine Learning Research, vol.15, issue.1, pp.1593-1623, 2014.

C. Hur, A. V. Nori, S. K. Rajamani, and S. Samuel, A provably correct sampler for probabilistic programs, Proceedings of FSTTCS 2015 Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.475-488, 2015.

C. Jones, Probabilistic Non-determinism, 1990.

C. Jones and G. D. Plotkin, A probabilistic powerdomain of evaluations, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.186-195, 1989.
DOI : 10.1109/LICS.1989.39173

. Kiselyov, Problems of the lightweight implementation of probabilistic programming, 2016.

D. Kozen, Semantics of probabilistic programs, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979), pp.101-114, 1979.
DOI : 10.1109/SFCS.1979.38

C. D. Manning and H. Schütze, Foundations of statistical natural language processing, 1999.

V. K. Mansinghka, D. Selsam, and Y. N. Perov, Venture: a higherorder probabilistic programming platform with programmable inference

N. Metropolis, A. W. Rosenbluth, M. N. Rosenbluth, A. H. Teller, and E. Teller, Equation of State Calculations by Fast Computing Machines, The Journal of Chemical Physics, vol.21, issue.6, pp.1087-1092, 1953.
DOI : 10.1063/1.1699114

A. V. Nori, C. Hur, S. K. Rajamani, and S. Samuel, R2: an efficient MCMC sampler for probabilistic programs, Proceedings of AAAI 2014, pp.2476-2482, 2014.

P. Panangaden, The Category of Markov Kernels, proceedings of PROBMIV, pp.171-187, 1998.
DOI : 10.1016/S1571-0661(05)80602-4

P. Panangaden, Labelled Markov Processes, 2009.
DOI : 10.1142/p595

S. Park, F. Pfenning, and S. Thrun, A probabilistic language based upon sampling functions, ACM Transactions on Programming Languages and Systems, vol.31, issue.1, 2008.

J. Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, 1988.

N. Ramsey and A. Pfeffer, Stochastic lambda calculus and monads of probability distributions, POPL, pp.154-165, 2002.

J. Russell, Recent developments in unifying logic and probability, Communications of the ACM, vol.58, issue.7, pp.88-97, 2015.
DOI : 10.1145/2699411

A. Scibior, Z. Ghahramani, and A. D. Gordon, Practical probabilistic programming with monads, Proceedings of Haskell 2015, pp.165-176, 2015.

H. Staton, C. Yang, O. Heunen, F. Kammar, and . Wood, Semantics for probabilistic programming, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 1601.
DOI : 10.1145/2933575.2935313

S. Thrun, Robotic mapping: A survey Exploring artificial intelligence in the new millennium, pp.1-35, 2002.

L. Tierney, Markov chains for exploring posterior distributions. The Annals of Statistics, pp.1701-1728, 1994.

D. Tolpin, J. Van-de-meent, and F. Wood, Probabilistic Programming in Anglican, Proceedings of ECML PKDD 2015, pp.308-311, 2015.
DOI : 10.1007/978-3-319-23461-8_36

N. Toronto, J. Mccarthy, and D. V. Horn, Running Probabilistic Programs Backwards, Proceedings of ESOP 2015, pp.53-79, 2015.
DOI : 10.1007/978-3-662-46669-8_3

A. Wingate, N. D. Stuhlmueller, and . Goodman, Lightweight implementations of probabilistic programming languages via transformational compilation, Proceedings of AISTATS 2011, p.131, 2011.