![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > A monad for full ground reference cells
A monad for full ground reference cellsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Dominic Mulligan. 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. Joint work with: Paul B. Levy, Sean K. Moss, and Sam Staton. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsagriculture Public Understanding of Risk Europe Research Seminar SeriesOther talksProtean geographies: Plants, politics and postcolonialism in South Africa Accelerating the control of bovine Tuberculosis in developing countries Circular Economy in Practice – Challenges and Opportunities Replication or exploration? Sequential design for stochastic simulation experiments Panel comparisons: Challenor, Ginsbourger, Nobile, Teckentrup and Beck TALK CANCELLED Targets for drug discovery: from target validation to the clinic |