Ohad Kammar

Registered user since Thu 4 May 2017

Name: Ohad Kammar

Country: United Kingdom

Affiliation: University of Oxford

Personal website: http://www.cs.ox.ac.uk/people/ohad.kammar/main.html

Contributions

PEPM 2018	Author of Partially Static Data as Free Extension of Algebras (Short Paper) within the PEPM 2018-track
PPS 2018	Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track Committee Member in Program Committee within the PPS 2018-track
ICFP 2018	Author of Functional programming for modular Bayesian inference within the Research Papers-track Author of Partially static data as free extension of algebras within the Research Papers-track
HOPE 2017	Author of A monadic solution to the Cartwright-Felleisen-Wadler conjecture within the HOPE 2017-track
ICFP 2017	Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track
POPL 2018	Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2016	Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track