Ohad Kammar
Ohad Kammar
University of Edinburgh School of Informatics
Verified email at ed.ac.uk - Homepage
TitleCited byYear
Handlers in action
O Kammar, S Lindley, N Oury
ACM SIGPLAN Notices 48 (9), 145-158, 2013
1052013
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
S Staton, F Wood, H Yang, C Heunen, O Kammar
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
692016
A convenient category for higher-order probability theory
C Heunen, O Kammar, S Staton, H Yang
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer …, 2017
472017
Algebraic foundations for effect-dependent optimisations
O Kammar, GD Plotkin
ACM SIGPLAN Notices 47 (1), 349-360, 2012
422012
Denotational validation of higher-order Bayesian inference
A Ścibior, O Kammar, M Vákár, S Staton, H Yang, Y Cai, K Ostermann, ...
Proceedings of the ACM on Programming Languages 2 (POPL), 60:1-29, 2018
282018
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Y Forster, O Kammar, S Lindley, M Pretnar
Proceedings of the ACM on Programming Languages 1 (ICFP), 13, 2017
172017
On the statistical thermodynamics of reversible communicating processes
G Bacci, V Danos, O Kammar
International Conference on Algebra and Coalgebra in Computer Science, 1-18, 2011
162011
A domain theory for statistical probabilistic programming
M Vákár, O Kammar, S Staton
Proceedings of the ACM on Programming Languages 3 (POPL), 36, 2019
142019
No value restriction is needed for algebraic effects and handlers
O Kammar, M Pretnar
Journal of Functional Programming 27, 2017
112017
An Algebraic Theory of Type-and-Effect Systems
O Kammar
University of Edinburgh, 2014
92014
Functional programming for modular Bayesian inference
A Ścibior, O Kammar, Z Ghahramani
Proceedings of the ACM on Programming Languages 2 (ICFP), 83, 2018
42018
Bayesian inversion by ω-complete cone duality
F Dahlqvist, V Danos, I Garnier, O Kammar
42016
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
D McDermott, O Kammar
Elsevier, 2019
3*2019
A monad for full ground reference cells
O Kammar, PB Levy, SK Moss, S Staton
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer …, 2017
32017
Partially-static data as free extension of algebras
J Yallop, T Von Glehn, O Kammar
Proceedings of the ACM on Programming Languages 2 (ICFP), 100, 2018
12018
Effects in Bayesian inference
A Scibior, O Kammar
12015
Inferring coevolution
E Lamm, O Kammar
Philosophy of Science 81 (4), 592-611, 2014
12014
The semantic structure of quasi-Borel spaces
C Heunen, O Kammar, S Staton, S Moss, M Vákár, A Ścibior, H Yang
2018
A monadic solution to the Cartwright-Felleisen-Wadler conjecture
O Kammar, D McDermott
arXiv preprint arXiv:1707.06685, 2017
2017
Accompanying material for the article'no value restriction is needed for algebraic effects and handlers'
M Pretnar
University of Oxford, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20