4 papers
Finitary Semantics for Full Ground Local State
Orpheas van Rooij, Ohad Kammar, Sam Lindley +1
Full ground local state (FGLS) refers to dynamically allocated mutable state that allows storing ground values and references. It is a key ingredient in many imperative algorithms…
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
Ohad Kammar, Jack Liell-Cock, Sam Lindley +2
We use the theory of algebraic effects to give a complete equational axiomatization for dynamic threads. Our method is based on parameterized algebraic theories, which give a concr…
Scoped Effects as Parameterized Algebraic Theories
Cristina Matache, Sam Lindley, Sean Moss +3
Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are…
Denotational semantics for languages for inference: semirings, monads, and tensors
Cristina Matache, Sean Moss, Sam Staton +1
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebrai…