Author:
Huot Mathieu,Lew Alexander K.,Mansinghka Vikash K.,Staton Sam
Funder
Air Force Office of Scientific Research
Reference46 articles.
1. Call-by-value games;abramsky;Computer Science Logic 11th International Workshop CSL’97 Annual Conference of the EACSL Aarhus,1997
2. Exact Bayesian inference by symbolic disintegration
3. A convenient category for higher-order probability theory
4. Reparameterization gradient for non-differentiable models;lee;Advances in neural information processing systems,2018
5. Relating computational effects by ⊤⊤-lifting