Keyword:probabilistic programming

Papers
Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language David Sabel and Manfred Schmidt-Schauss EasyChair Preprint no. 8385
Response to COVID-19 with Probabilistic Programming Assem Zhunis, Tung-Duong Mai and Sundong Kim EasyChair Preprint no. 6949
Linear Models of Computation and Program Learning Michael Bukatin and Steve Matthews In:GCAI 2015. Global Conference on Artificial Intelligence