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...
Những tác giả chính: | Kammar, O, Levy, P, Moss, S, Staton, S |
---|---|
Định dạng: | Conference item |
Được phát hành: |
Institute for Electrical and Electronics Engineers
2017
|
Những quyển sách tương tự
-
Monads for measurable queries in probabilistic databases
Bằng: Dash, S, et al.
Được phát hành: (2021) -
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
Bằng: Kammar, O, et al.
Được phát hành: (2018) -
Affine monads and lazy structures for Bayesian programming
Bằng: Dash, S, et al.
Được phát hành: (2023) -
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Bằng: Forster, Y, et al.
Được phát hành: (2017) -
Compositional imprecise probability: a solution from graded monads and Markov categories
Bằng: Liell-Cock, J, et al.
Được phát hành: (2025)