Statistics
Publications
13
Citations
687
H-Index
12
Active since
2012
Ohad Kammar is an author at University of Oxford specializing in computer science, programming languages, and computing.
Publications per year
2012–2018
13
13
Ohad Kammar, Sam Lindley, Nicolas Oury · 2013 · 129 citations
Computing, Computer Science, Algebra +12
Semantics for probabilistic programming
Sam Staton, Hongseok Yang, Frank Wood et al. · 2016 · 112 citations · Full text
A convenient category for higher-order probability theory
Chris Heunen, Ohad Kammar, Sam Staton et al. · 2017 · 96 citations · Full text
Denotational validation of higher-order Bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár et al. · Proceedings of the ACM on Programming Languages · 2017 · 64 citations · Full text
1–5 of 13