Ohad Kammar

Identifiers

• name variant Ohad Kammar 0.60 · backfill

Papers (8)

1. Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics cs.PL · 2018 · author #1
2. Denotational validation of higher-order Bayesian inference cs.PL · 2017 · author #2
3. A monadic solution to the Cartwright-Felleisen-Wadler conjecture cs.PL · 2017 · author #1
4. A monad for full ground reference cells cs.PL · 2017 · author #1
5. On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control cs.LO · 2016 · author #2
6. No value restriction is needed for algebraic effects and handlers cs.PL · 2016 · author #1
7. Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints cs.PL · 2016 · author #4
8. An absolute characterisation of locally determined omega-colimits math.CT · 2015 · author #1

Mentions

• 1508.05072 #1 · backfill · confidence 0.70 Ohad Kammar

Frequent Coauthors

• Sam Staton 3 shared papers
• Chris Heunen 2 shared papers
• Dylan McDermott 2 shared papers
• Hongseok Yang 2 shared papers
• Matija Pretnar 2 shared papers
• Sean K. Moss 2 shared papers
• Adam \'Scibior 1 shared papers
• Frank Wood 1 shared papers
• Klaus Ostermann 1 shared papers
• Matthijs V\'ak\'ar 1 shared papers
• Paul B. Levy 1 shared papers
• Sam Lindley 1 shared papers
• Yannick Forster 1 shared papers
• Yufei Cai 1 shared papers
• Zoubin Ghahramani 1 shared papers