No value restriction is needed for algebraic effects and handlers by Kammar, O, Pretnar, M

A domain theory for statistical probabilistic programming by Vákár, M, Kammar, O, Staton, S

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics by Kammar, O, McDermott, D

A monad for full ground reference cells by Kammar, O, Levy, P, Moss, S, Staton, S

Fully abstract models for effectful λ-calculi via category-theoretic logical relations by Kammar, O, Katsumata, S-Y, Saville, P

A convenient category for higher-order probability theory by Heunen, C, Kammar, O, Staton, S, Yang, H

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control by Forster, Y, Kammar, O, Lindley, S, Pretnar, M

Bayesian Inversion by ω-complete cone duality by Dahlqvist, F, Danos, V, Garnier, I, Kammar, O

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints by Yang, H, Staton, S, Wood, F, Heunen, C, Kammar, O

Denotational validation of higher-order Bayesian inference by Scibior, A, Kammar, O, Vakar, M, Staton, S, Yang, H, Cai, Y, Ostermann, K, Moss, SK, Heunen, C, Ghahramani, Z