Travelled to:
2 × USA
Collaborated with:
G.D.Plotkin M.Vákár S.Staton S.Lindley N.Oury A.Scibior H.Yang Y.Cai K.Ostermann Sean K. Moss C.Heunen Z.Ghahramani
Talks about:
probabilist (1) bayesian (1) statist (1) program (1) optimis (1) handler (1) foundat (1) algebra (1) theori (1) higher (1)
Person: Ohad Kammar
DBLP: Kammar:Ohad
Contributed to:
Wrote 4 papers:
- ICFP-2013-KammarLO
- Handlers in action (OK, SL, NO), pp. 145–158.
- POPL-2012-KammarP #algebra #optimisation
- Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.
- 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.
- POPL-2019-VakarKS #probability #programming #statistics
- A domain theory for statistical probabilistic programming (MV, OK, SS), p. 29.