Ohad Kammar

Available identifiers

Publication	Date of Publication	Type
An algebraic theory for shared-state concurrency	2023-07-25	Paper
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics	2022-05-03	Paper
A Convenient Category for Higher-Order Probability Theory	2021-01-19	Paper
A monad for full ground reference cells	2021-01-19	Paper
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints	2018-04-23	Paper
Bayesian Inversion by ω-Complete Cone Duality	2018-03-21	Paper
No value restriction is needed for algebraic effects and handlers	2017-10-23	Paper
Algebraic foundations for effect-dependent optimisations	2015-09-11	Paper
An absolute characterisation of locally determined omega-colimits	2015-08-18	Paper
Handlers in action	2015-03-30	Paper
On the statistical thermodynamics of reversible communicating processes	2011-09-02	Paper

This page was built for person: Ohad Kammar