Collaborated with:A.Scibior O.Kammar M.Vákár S.Staton H.Yang Y.Cai K.Ostermann C.Heunen Z.Ghahramani
Talks about:bayesian (1) higher (1) valid (1) order (1) infer (1) denot (1)
Person: Sean K. Moss
DBLP: Moss:Sean_K=
Contributed to:
2018Wrote 1 papers:
- POPL-2018-ScibiorKVSYCOMH #higher-order #validation
- Denotational validation of higher-order Bayesian inference (AS, OK, MV, SS, HY, YC, KO, SKM, CH, ZG), p. 29.