default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFoundations of Probabilistic Programming, 2020
- Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva:
Foundations of Probabilistic Programming. Cambridge University Press 2020, ISBN 9781108770750 - Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen:
Semantics of Probabilistic Programming: A Gentle Introduction. 1-42 - Sam Staton:
Probabilistic Programs as Measures. 43-74 - Daniel Huang, Greg Morrisett, Bas Spitters:
Application ofComputable Distributions to the Semantics of Probabilistic Programs. 75-120 - Ugo Dal Lago:
On Probabilistic λ-Calculi. 121-144 - Gilles Barthe, Justin Hsu:
Probabilistic Couplings from Program Logics. 145-184 - Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
Expected Runtime Analyis by Program Verification. 185-220 - Krishnendu Chatterjee, Hongfei Fu, Petr Novotný:
Termination Analysis of Probabilistic Programs with Martingales. 221-258 - Sriram Sankaranarayanan:
Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities. 259-294 - Bart Jacobs, Fabio Zanasi:
The Logical Essentials of Bayesian Reasoning. 295-332 - Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Quantitative Equational Reasoning. 333-360 - José Manuel Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel, Ian Sweet:
Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy. 361-390 - Jeremy Gibbons, Annabelle McIver, Carroll Morgan, Tom Schrijvers:
Quantitative Information Flow with Monads in Haskell. 391-448 - Leonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes:
Luck: A Probabilistic Language for Testing. 449-488 - Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow:
Tabular: Probabilistic Inference from the Spreadsheet. 489-532 - Michael Carbin, Sasa Misailovic:
Programming Unreliable Hardware. 533-568
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-25 17:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
