Ohad Kammar

Available identifiers

zbMath Open kammar.ohadMaRDI QIDQ2134830

List of research outcomes

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 monad for full ground reference cells	2021-01-19	Paper
A Convenient Category for Higher-Order Probability Theory	2021-01-19	Paper
Semantics for probabilistic programming	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ohad Kammar