BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A monad for full ground reference cells - Ohad Kammar\, University
  of Oxford
DTSTART:20170217T140000Z
DTEND:20170217T150000Z
UID:TALK70690@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:We present a denotational account of dynamic\nallocation of po
 tentially cyclic memory cells using a monad on\na functor category. We ide
 ntify the collection of heaps as an\nobject in a different functor categor
 y equipped with a monad for\nadding hiding/encapsulation capabilities to t
 he heaps. We derive\na monad for full ground references supporting effect 
 masking by\napplying a state monad transformer to the encapsulation monad.
 \nTo evaluate the monad\, we present a denotational semantics for\na call-
 by-value calculus with full ground references\, and validate\nassociated c
 ode transformations.\n\nJoint work with: Paul B. Levy\, Sean K. Moss\, and
  Sam Staton.
LOCATION:FW26
END:VEVENT
END:VCALENDAR