| Handlers in action O Kammar, S Lindley, N Oury ACM SIGPLAN Notices 48 (9), 145-158, 2013 | 225 | 2013 |
| 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 | 205 | 2017 |
| 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 | 178 | 2016 |
| 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 | 104 | 2019 |
| 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 | 84 | 2018 |
| Algebraic foundations for effect-dependent optimisations O Kammar, GD Plotkin Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 75 | 2012 |
| 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 | 58 | 2017 |
| 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 | 42 | 2019 |
| Functional programming for modular Bayesian inference A Ścibior, O Kammar, Z Ghahramani Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018 | 41 | 2018 |
| No value restriction is needed for algebraic effects and handlers O Kammar, M Pretnar Journal of functional programming 27, e7, 2017 | 32 | 2017 |
| 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 | 24 | 2017 |
| On the statistical thermodynamics of reversible communicating processes G Bacci, V Danos, O Kammar Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011 | 22 | 2011 |
| An Algebraic Theory of Type-and-Effect Systems O Kammar University of Edinburgh, 2014 | 21 | 2014 |
| 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 | 19 | 2018 |
| 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 | 17 | 2018 |
| Bayesian inversion by ω-complete cone duality F Dahlqvist, V Danos, I Garnier, O Kammar 27th International Conference on Concurrency Theory, 2016 | 15 | 2016 |
| 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 | 11 | 2020 |
| 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 | 11 | 2018 |
| An algebraic theory for shared-state concurrency Y Dvir, O Kammar, O Lahav Asian Symposium on Programming Languages and Systems, 3-24, 2022 | 7 | 2022 |
| A Denotational Approach to Release/Acquire Concurrency Y Dvir, O Kammar, O Lahav European Symposium on Programming, 121-149, 2024 | 5 | 2024 |
Hongseok YangProfessor, School of Computing, KAISTE-mail confirmado em kaist.ac.kr
