A monad for full ground reference cells
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We deriv...
Hlavní autoři: | Kammar, O, Levy, P, Moss, S, Staton, S |
---|---|
Médium: | Conference item |
Vydáno: |
Institute for Electrical and Electronics Engineers
2017
|
Podobné jednotky
-
Monads for measurable queries in probabilistic databases
Autor: Dash, S, a další
Vydáno: (2021) -
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
Autor: Kammar, O, a další
Vydáno: (2018) -
Affine monads and lazy structures for Bayesian programming
Autor: Dash, S, a další
Vydáno: (2023) -
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Autor: Forster, Y, a další
Vydáno: (2017) -
Compositional imprecise probability: a solution from graded monads and Markov categories
Autor: Liell-Cock, J, a další
Vydáno: (2025)