A monad for full ground reference cells

Add to your list(s) Download to your calendar using vCal

• Ohad Kammar, University of Oxford
• Friday 17 February 2017, 14:00-15:00
• FW26.

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:

• All Talks (aka the CURE list)
• Computer Laboratory talks
• Computing and Mathematics
• FW26
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology

Note that ex-directory lists are not shown.