Conference item icon

Conference item

A monad for full ground reference cells

Abstract:

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 derive a monad for full ground references supporting effect masking by applying a state monad transformer to the encapsulation monad. To evaluate the monad, we present a denotational semantics for a cal...

Expand abstract
Publication status:
In press
Peer review status:
Peer reviewed

Actions


Access Document


Files:

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
Role:
Author
More by this author
Department:
Oxford, MPLS, Computer Science
Role:
Author
More from this funder
Grant:
events causality and symmetry — the next-generation semantics
More from this funder
Grant:
University Research Fellowship
Publisher:
Institute for Electrical and Electronics Engineers Publisher's website
Publication date:
2017-06-05
Acceptance date:
2017-03-22
Pubs id:
pubs:690031
URN:
uri:1640d0fd-917d-44c6-bc72-35ffc3d22c4e
UUID:
uuid:1640d0fd-917d-44c6-bc72-35ffc3d22c4e
Local pid:
pubs:690031

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP