Keyword:probabilistic programming

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