Collaborated with:A.D.Gordon Z.Ghahramani J.Borgström Long Ouyang C.V.Russo M.Szymczak O.Kammar M.Vákár S.Staton H.Yang Y.Cai K.Ostermann Sean K. Moss C.Heunen
Talks about:probabilist (2) program (2) bayesian (1) regress (1) practic (1) formula (1) fabular (1) higher (1) valid (1) order (1)
Person: Adam Scibior
DBLP: Scibior:Adam
Contributed to:
2015
20162018Wrote 3 papers:
- Haskell-2015-ScibiorGG #monad #probability #programming
- Practical probabilistic programming with monads (AS, ZG, ADG), pp. 165–176.
- POPL-2016-BorgstromGORSS #named #probability #programming
- Fabular: regression formulas as probabilistic programming (JB, ADG, LO, CVR, AS, MS), pp. 271–283.
- 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.