Session details: Session 7A: Probabilistic Programs

Author(s):  
Supratik Chakraborty

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Martin Avanzini ◽  
Georg Moser ◽  
Michael Schaper


2018 ◽  
Vol 53 (4) ◽  
pp. 571-585 ◽  
Author(s):  
Marco Cusumano-Towner ◽  
Benjamin Bichsel ◽  
Timon Gehr ◽  
Martin Vechev ◽  
Vikash K. Mansinghka




2017 ◽  
Vol 1 (ICFP) ◽  
pp. 1-25 ◽  
Author(s):  
Praveen Narayanan ◽  
Chung-chieh Shan


2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-29 ◽  
Author(s):  
Fredrik Dahlqvist ◽  
Dexter Kozen


Author(s):  
Jinyi Wang ◽  
Yican Sun ◽  
Hongfei Fu ◽  
Krishnendu Chatterjee ◽  
Amir Kafshdar Goharshady


Author(s):  
Jinyi Wang ◽  
Yican Sun ◽  
Hongfei Fu ◽  
Krishnendu Chatterjee ◽  
Amir Kafshdar Goharshady


Sign in / Sign up

Export Citation Format

Share Document