Ohad Kammar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An algebraic theory for shared-state concurrency Programming Languages and Systems	2023-07-25	Paper
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (available as arXiv preprint)	2022-05-03	Paper
A Convenient Category for Higher-Order Probability Theory	2021-01-19	Paper
A Convenient Category for Higher-Order Probability Theory (available as arXiv preprint)	2021-01-19	Paper
A monad for full ground reference cells	2021-01-19	Paper
A monad for full ground reference cells (available as arXiv preprint)	2021-01-19	Paper
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Bayesian Inversion by ω-Complete Cone Duality	2018-03-21	Paper
No value restriction is needed for algebraic effects and handlers Journal of Functional Programming	2017-10-23	Paper
Algebraic foundations for effect-dependent optimisations Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
An absolute characterisation of locally determined omega-colimits	2015-08-18	Paper
Handlers in action Proceedings of the 18th ACM SIGPLAN international conference on Functional programming	2015-03-30	Paper
On the statistical thermodynamics of reversible communicating processes Algebra and Coalgebra in Computer Science	2011-09-02	Paper

Research outcomes over time

This page was built for person: Ohad Kammar