R. Adams and B. Jacobs, A type theory for probabilistic and bayesian reasoning. CoRR, abs, 1511.

G. Barthe and F. Olmedo, Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs, ICALP, 2013.
DOI : 10.1007/978-3-642-39212-2_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.378.3526

G. Barthe, B. Köpf, F. Olmedo, and S. Zanella-béguelin, Probabilistic Relational Reasoning for Differential Privacy, POPL, 2012.
DOI : 10.1145/2103656.2103670
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.5756

G. Barthe, G. Danezis, B. Grégoire, C. Kunz, and S. Zanella-béguelin, Verified Computational Differential Privacy with Applications to Smart Metering, 2013 IEEE 26th Computer Security Foundations Symposium, 2013.
DOI : 10.1109/CSF.2013.26
URL : https://hal.archives-ouvertes.fr/hal-00935736

G. Barthe, M. Gaboardi, E. J. Gallego-arias, J. Hsu, C. Kunz et al., Proving Differential Privacy in Hoare Logic, 2014 IEEE 27th Computer Security Foundations Symposium, 2014.
DOI : 10.1109/CSF.2014.36

G. Barthe, M. Gaboardi, E. J. Arias, J. Hsu, A. Roth et al., Higher-order approximate relational refinement types for mechanism design and differential privacy, POPL, 2015.
DOI : 10.1145/2775051.2677000
URL : http://arxiv.org/abs/1407.6845

G. Barthe, M. Gaboardi, B. Grégoire, J. Hsu, and P. Strub, Proving Differential Privacy via Probabilistic Couplings, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 2016.
DOI : 10.1145/2933575.2934554
URL : https://hal.archives-ouvertes.fr/hal-01411097

G. Barthe, M. Gaboardi, J. Hsu, and B. Pierce, Programming language techniques for differential privacy, 2016.

C. M. Bishop, Pattern Recognition and Machine Learning (Information Science and Statistics), 2006.

A. Blum, C. Dwork, F. Mcsherry, and K. Nissim, Practical privacy, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '05, 2005.
DOI : 10.1145/1065167.1065184

J. Borgström, U. D. Lago, A. D. Gordon, and M. Szymczak, A lambda-calculus foundation for universal probabilistic programming, ICFP, 2016.

K. Chaudhuri, C. Monteleoni, and A. D. Sarwate, Differentially private empirical risk minimization, 2011.

I. Csiszár, Eine informationstheoretische Ungleichung und ihre Anwendung auf den Beweis der Ergodizitat von Markoffschen Ketten, Magyar. Tud. Akad. Mat. Kutató Int. Közl, 1963.

I. Csiszár and P. Shields, Information theory and statistics: A tutorial. Foundations and Trends in Communications and Information Theory, 2004.

D. K. Dey and L. R. Birmiwal, Robust Bayesian analysis using divergence measures, Statistics & Probability Letters, vol.20, issue.4, 1994.
DOI : 10.1016/0167-7152(94)90016-7

C. Dimitrakakis, B. Nelson, A. Mitrokotsa, and B. I. Rubinstein, Robust and Private Bayesian Inference, ALT, 2014.
DOI : 10.1007/978-3-319-11662-4_21

C. Dwork and A. Roth, The algorithmic foundations of differential privacy. Foundations and Trends in Theoretical Computer Science, 2014.

C. Dwork, F. Mcsherry, K. Nissim, and A. Smith, Calibrating Noise to Sensitivity in Private Data Analysis, TCC, 2006.
DOI : 10.1007/11681878_14

C. Dwork, G. N. Rothblum, and S. P. Vadhan, Boosting and Differential Privacy, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, 2010.
DOI : 10.1109/FOCS.2010.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.6353

H. Ebadi, D. Sands, and G. Schneider, Differential privacy: Now it's getting personal, 2015.
DOI : 10.1145/2775051.2677005

F. Eigner and M. Maffei, Differential Privacy by Typing in Security Protocols, 2013 IEEE 26th Computer Security Foundations Symposium, 2013.
DOI : 10.1109/CSF.2013.25

M. Gaboardi, A. Haeberlen, J. Hsu, A. Narayan, and B. C. Pierce, Linear dependent types for differential privacy, POPL, 2013.
DOI : 10.1145/2429069.2429113
URL : https://hal.archives-ouvertes.fr/hal-00909340

N. D. Goodman, V. K. Mansinghka, D. M. Roy, K. Bonawitz, J. B. Tenenbaum et al., Church: a language for generative models A model-learner pattern for bayesian reasoning, UAI POPL, 2008.

A. D. Gordon, T. Graepel, N. Rolland, C. V. Russo, J. Borgström et al., Tabular, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, 2014.
DOI : 10.1145/2535838.2535850

M. Hardt, K. Ligett, and F. Mcsherry, A simple and practical algorithm for differentially private data release, NIPS, 2012.

M. Hicks, G. M. Bierman, N. Guts, D. Leijen, and N. Swamy, Polymonadic Programming, MSFP, 2014.
DOI : 10.4204/EPTCS.153.7
URL : http://doi.org/10.4204/eptcs.153.7

S. Katsumata, Parametric effect monads and semantics of effect systems, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, 2014.
DOI : 10.1145/2535838.2535846

D. J. Lunn, A. Thomas, N. Best, and D. Spiegelhalter, WinBUGS -A bayesian modelling framework: Concepts, structure, and extensibility, Statistics and Computing, 2000.

F. Mcsherry, Privacy integrated queries: an extensible platform for privacy-preserving data analysis, International Conference on Management of Data, 2009.

F. Mcsherry, K. Talwar, T. Minka, J. Winn, J. Guiver et al., Mechanism Design via Differential Privacy, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07), 2007.
DOI : 10.1109/FOCS.2007.66

A. Pfeffer, IBAL: A Probabilistic Rational Programming Language, IJCAI, 2001.

J. Reed and B. C. Pierce, Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy, ICFP, 2010.

T. Sato, Approximate Relational Hoare Logic for Continuous Random Samplings. CoRR, abs/1603, 1445.
DOI : 10.1016/j.entcs.2016.09.043
URL : http://doi.org/10.1016/j.entcs.2016.09.043

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

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

N. Toronto, J. Mccarthy, and D. V. Horn, Running Probabilistic Programs Backwards, ESOP, 2015.
DOI : 10.1007/978-3-662-46669-8_3
URL : http://arxiv.org/abs/1412.4053

O. Williams and F. Mcsherry, Probabilistic Inference and Differential Privacy, NIPS, 2010.

J. Zhang, G. Cormode, C. M. Procopiuc, D. Srivastava, and X. Xiao, PrivBayes, Proceedings of the 2014 ACM SIGMOD international conference on Management of data, SIGMOD '14, 2014.
DOI : 10.1145/2588555.2588573
URL : http://wrap.warwick.ac.uk/63459/7/WRAP_Cormode_PrivBayes.pdf

Z. Zhang, B. I. Rubinstein, and C. Dimitrakakis, On the Differential Privacy of Bayesian Inference, AAAI, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01234215