64 citations · 157 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 64 cited
Denotational validation of higher-order Bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár +7
We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inferenc…
cs.LO2017★ 10 cited
In Search of Effectful Dependent Types
Matthijs Vákár
Real world programming languages crucially depend on the availability of computational effects to achieve programming convenience and expressive power as well as program efficiency…