×

zbMATH — the first resource for mathematics

Kammar, Ohad

Compute Distance To:
Author ID: kammar.ohad Recent zbMATH articles by "Kammar, Ohad"
Published as: Kammar, Ohad
Documents Indexed: 6 Publications since 2011

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 38 times in 31 Documents Cited by Year
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. Zbl 1395.68082
Staton, Sam; Yang, Hongseok; Wood, Frank; Heunen, Chris; Kammar, Ohad
12
2016
Handlers in action. Zbl 1323.68126
Kammar, Ohad; Lindley, Sam; Oury, Nicolas
12
2013
On the statistical thermodynamics of reversible communicating processes. Zbl 1344.68160
Bacci, Giorgio; Danos, Vincent; Kammar, Ohad
6
2011
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
5
2012
No value restriction is needed for algebraic effects and handlers. Zbl 1418.68034
Kammar, Ohad; Pretnar, Matija
2
2017
Bayesian inversion by omega-complete cone duality (invited paper). Zbl 1392.68294
Dahlqvist, Fredrik; Danos, Vincent; Garnier, Ilias; Kammar, Ohad
1
2016
No value restriction is needed for algebraic effects and handlers. Zbl 1418.68034
Kammar, Ohad; Pretnar, Matija
2
2017
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. Zbl 1395.68082
Staton, Sam; Yang, Hongseok; Wood, Frank; Heunen, Chris; Kammar, Ohad
12
2016
Bayesian inversion by omega-complete cone duality (invited paper). Zbl 1392.68294
Dahlqvist, Fredrik; Danos, Vincent; Garnier, Ilias; Kammar, Ohad
1
2016
Handlers in action. Zbl 1323.68126
Kammar, Ohad; Lindley, Sam; Oury, Nicolas
12
2013
Algebraic foundations for effect-dependent optimisations. Zbl 1321.68200
Kammar, Ohad; Plotkin, Gordon D.
5
2012
On the statistical thermodynamics of reversible communicating processes. Zbl 1344.68160
Bacci, Giorgio; Danos, Vincent; Kammar, Ohad
6
2011

Citations by Year