On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control von FORSTER, YANNICK, KAMMAR, OHAD, LINDLEY, SAM, PRETNAR, MATIJA

Volltext

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control von Forster, Yannick, Kammar, Ohad, Lindley, Sam, Pretnar, Matija

Volltext

Denotational validation of higher-order Bayesian inference von Ścibior, Adam, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris, Ghahramani, Zoubin

Volltext

A domain theory for statistical probabilistic programming von Vákár, Matthijs, Kammar, Ohad, Staton, Sam

Volltext

No value restriction is needed for algebraic effects and handlers von KAMMAR, OHAD, PRETNAR, MATIJA

Volltext

Handlers in action von Kammar, Ohad, Lindley, Sam, Oury, Nicolas

Volltext

Inferring Coevolution von Lamm, Ehud, Kammar, Ohad

Volltext

Functional programming for modular Bayesian inference von Ścibior, Adam, Kammar, Ohad, Ghahramani, Zoubin

Volltext

Fully abstract models for effectful λ-calculi via category-theoretic logical relations von Kammar, Ohad, Katsumata, Shin-ya, Saville, Philip

Volltext

Shoggoth: A Formal Foundation for Strategic Rewriting von Qin, Xueying, O’Connor, Liam, van Glabbeek, Rob, Höfner, Peter, Kammar, Ohad, Steuwer, Michel

Volltext

Partially-static data as free extension of algebras von Yallop, Jeremy, von Glehn, Tamara, Kammar, Ohad

Volltext

An Algebraic Theory for Shared-State Concurrency von Dvir, Yotam, Kammar, Ohad, Lahav, Ori

Volltext

Modular probabilistic programming with algebraic effects (MSc Thesis 2019) von Goldstein, Oliver, Kammar, Ohad

Volltext bestellen

Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics von Kammar, Ohad, McDermott, Dylan

Volltext

Idris TyRE: a dependently typed regex parser von Kammar, Ohad, Marek, Katarzyna

Volltext bestellen

Algebraic theory of type-and-effect systems von Kammar, Ohad

Volltext bestellen

Idris TyRE: a dependently typed regex parser von Kammar, Ohad, Marek, Katarzyna

Volltext

Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics von Kammar, Ohad, McDermott, Dylan

Volltext bestellen

An absolute characterisation of locally determined omega-colimits von Kammar, Ohad

Volltext bestellen

Frex: dependently-typed algebraic simplification von Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy

Volltext bestellen