BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kammar:Ohad

Contributed to:

ICFP 20132013
POPL 20122012
POPL 20182018
POPL 20192019

Wrote 4 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.