Personal tools
You are here: Home Events LFCS seminar: Ohad Kammar: A monad for full ground reference cells

LFCS seminar: Ohad Kammar: A monad for full ground reference cells

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Jan 31, 2017
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal

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 call-by-value calculus with full ground references, and validate associated code transformations.

Joint work with: Paul B. Levy, Sean Moss, and Sam Staton.

Document Actions