Follow
Ohad Kammar
Ohad Kammar
University of Edinburgh School of Informatics
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Handlers in action
O Kammar, S Lindley, N Oury
ACM SIGPLAN Notices 48 (9), 145-158, 2013
2242013
A convenient category for higher-order probability theory
C Heunen, O Kammar, S Staton, H Yang
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
2062017
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
S Staton, H Yang, F Wood, C Heunen, O Kammar
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
1782016
A domain theory for statistical probabilistic programming
M Vákár, O Kammar, S Staton
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
1052019
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
842018
Algebraic foundations for effect-dependent optimisations
O Kammar, GD Plotkin
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
752012
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), 1-29, 2017
582017
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
Y Forster, O Kammar, S Lindley, M Pretnar
Journal of Functional Programming 29, e15, 2019
422019
Functional programming for modular Bayesian inference
A Ścibior, O Kammar, Z Ghahramani
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018
412018
No value restriction is needed for algebraic effects and handlers
O Kammar, M Pretnar
Journal of functional programming 27, e7, 2017
322017
A monad for full ground reference cells
O Kammar, PB Levy, SK Moss, S Staton
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
242017
On the statistical thermodynamics of reversible communicating processes
G Bacci, V Danos, O Kammar
Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011
222011
An Algebraic Theory of Type-and-Effect Systems
O Kammar
University of Edinburgh, 2014
212014
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
O Kammar, D McDermott
Electronic notes in theoretical computer science 341, 239-260, 2018
192018
Partially-static data as free extension of algebras
J Yallop, T Von Glehn, O Kammar
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
172018
Bayesian inversion by ω-complete cone duality
F Dahlqvist, V Danos, I Garnier, O Kammar
27th International Conference on Concurrency Theory, 2016
152016
Recalibrating classifiers for interpretable abusive content detection
B Vidgen, S Staton, S Hale, O Kammar, H Margetts, T Melham, ...
Fourth Workshop on Natural Language Processing and Computational Social …, 2020
112020
The semantic structure of quasi-Borel spaces
C Heunen, O Kammar, S Staton, S Moss, M Vákár, A Ścibior, H Yang
PPS Workshop on Probabilistic Programming Semantics, 2018
112018
An algebraic theory for shared-state concurrency
Y Dvir, O Kammar, O Lahav
Asian Symposium on Programming Languages and Systems, 3-24, 2022
72022
A note on Fréchet diffrentiation under lebesgue integrals
O Kammar
Preprint, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20