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...
Κύριοι συγγραφείς: | Kammar, O, Levy, P, Moss, S, Staton, S |
---|---|
Μορφή: | Conference item |
Έκδοση: |
Institute for Electrical and Electronics Engineers
2017
|
Παρόμοια τεκμήρια
-
Monads for measurable queries in probabilistic databases
ανά: Dash, S, κ.ά.
Έκδοση: (2021) -
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
ανά: Kammar, O, κ.ά.
Έκδοση: (2018) -
Affine monads and lazy structures for Bayesian programming
ανά: Dash, S, κ.ά.
Έκδοση: (2023) -
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
ανά: Forster, Y, κ.ά.
Έκδοση: (2017) -
Compositional imprecise probability: a solution from graded monads and Markov categories
ανά: Liell-Cock, J, κ.ά.
Έκδοση: (2025)