A monad for full ground reference cells

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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Kammar, O, Levy, P, Moss, S, Staton, S
Fformat:	Conference item
Cyhoeddwyd:	Institute for Electrical and Electronics Engineers 2017

Eitemau Tebyg

Monads for measurable queries in probabilistic databases
gan: Dash, S, et al.
Cyhoeddwyd: (2021)

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
gan: Kammar, O, et al.
Cyhoeddwyd: (2018)

Affine monads and lazy structures for Bayesian programming
gan: Dash, S, et al.
Cyhoeddwyd: (2023)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
gan: Forster, Y, et al.
Cyhoeddwyd: (2017)

Compositional imprecise probability: a solution from graded monads and Markov categories
gan: Liell-Cock, J, et al.
Cyhoeddwyd: (2025)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

Exploring the Boundaries of Monad Tensorability on Set
gan: Nathan Bowler, et al.
Cyhoeddwyd: (2013-09-01)

Of Tactics and Monads
gan: Martin, A
Cyhoeddwyd: (1996)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Entangled State Monads
gan: Cheney, J, et al.
Cyhoeddwyd: (2014)

Reflections on monadic lenses
gan: Abou-Saleh, F, et al.
Cyhoeddwyd: (2016)

The quantum monad on relational structures
gan: Abramsky, S, et al.
Cyhoeddwyd: (2017)

Deriving monad transformers
gan: Hinze, R
Cyhoeddwyd: (1999)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

MONAD KAVRAMININ TEMELLERİ
gan: Deniz Soysal
Cyhoeddwyd: (2009-07-01)

Monadic Effect Algebras
gan: Yuxi Zou, et al.
Cyhoeddwyd: (2022-01-01)

Monads need not be endofunctors
gan: Thosten Altenkirch, et al.
Cyhoeddwyd: (2015-03-01)

Monad Metrizable Space
gan: Orhan Göçür
Cyhoeddwyd: (2020-10-01)

On Discrete Presheaf Monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-06-01)

On saturated prefilter monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-02-01)

Notions of Monad Strength
gan: Philip Mulry
Cyhoeddwyd: (2013-09-01)

Relative Monads Formalised
gan: Thorsten Altenkirch, et al.
Cyhoeddwyd: (2014-07-01)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
gan: Jason P. Bell, et al.
Cyhoeddwyd: (2012-05-01)

Monadic decomposabily of regular relations
gan: Barceló, P, et al.
Cyhoeddwyd: (2019)

A Monadic Interpretation of Tactics
gan: Martin, A, et al.
Cyhoeddwyd: (2015)

Quantifiers on languages and codensity monads
gan: Gehrke, M, et al.
Cyhoeddwyd: (2017)

Efficient Monadic−style Backtracking
gan: Hinze, R
Cyhoeddwyd: (1996)

Equivalence Problems for Monadic Schemas
gan: Qualitz, Joseph E.
Cyhoeddwyd: (2023)

The monadic theory of toric words
gan: Berthé, V, et al.
Cyhoeddwyd: (2024)

Deriving backtracking monad transformers
gan: Hinze, R
Cyhoeddwyd: (2000)

Quantifiers on languages and codensity monads
gan: Gehrke, M, et al.
Cyhoeddwyd: (2021)

Unifying Theories of Programming with Monads
gan: Gibbons, J
Cyhoeddwyd: (2012)

Arrows‚ like Monads‚ are Monoids
gan: Heunen, C, et al.
Cyhoeddwyd: (2006)

The Different Aspects of Monads and Mixins
gan: dos Santos Oliveira, B
Cyhoeddwyd: (2009)

Algorithm design with the selection monad
gan: Hartmann, J, et al.
Cyhoeddwyd: (2023)

Smart Choices and the Selection Monad
gan: Martin Abadi, et al.
Cyhoeddwyd: (2023-04-01)