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...
| Автори: | , , , |
|---|---|
| Формат: | Conference item |
| Опубліковано: |
Institute for Electrical and Electronics Engineers
2017
|
| _version_ | 1826260671532105728 |
|---|---|
| author | Kammar, O Levy, P Moss, S Staton, S |
| author_facet | Kammar, O Levy, P Moss, S Staton, S |
| author_sort | Kammar, O |
| collection | OXFORD |
| description | 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 call-by-value calculus with full ground references, and validate associated code transformations. |
| first_indexed | 2024-03-06T19:09:23Z |
| format | Conference item |
| id | oxford-uuid:1640d0fd-917d-44c6-bc72-35ffc3d22c4e |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:09:23Z |
| publishDate | 2017 |
| publisher | Institute for Electrical and Electronics Engineers |
| record_format | dspace |
| spelling | oxford-uuid:1640d0fd-917d-44c6-bc72-35ffc3d22c4e2022-03-26T10:30:17ZA monad for full ground reference cellsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:1640d0fd-917d-44c6-bc72-35ffc3d22c4eSymplectic Elements at OxfordInstitute for Electrical and Electronics Engineers2017Kammar, OLevy, PMoss, SStaton, SWe 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 call-by-value calculus with full ground references, and validate associated code transformations. |
| spellingShingle | Kammar, O Levy, P Moss, S Staton, S A monad for full ground reference cells |
| title | A monad for full ground reference cells |
| title_full | A monad for full ground reference cells |
| title_fullStr | A monad for full ground reference cells |
| title_full_unstemmed | A monad for full ground reference cells |
| title_short | A monad for full ground reference cells |
| title_sort | monad for full ground reference cells |
| work_keys_str_mv | AT kammaro amonadforfullgroundreferencecells AT levyp amonadforfullgroundreferencecells AT mosss amonadforfullgroundreferencecells AT statons amonadforfullgroundreferencecells AT kammaro monadforfullgroundreferencecells AT levyp monadforfullgroundreferencecells AT mosss monadforfullgroundreferencecells AT statons monadforfullgroundreferencecells |