University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > A monad for full ground reference cells

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

A monad for full ground reference cells

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 lists

Homerton Seminars https://maths-cam-ac-uk.zoom.us/j/92247943806?pwd=ZVNiZWJ2bGFubEYzMmVWdGE5MUd5UT09 Seminar Room, Leverhulme Centre for Human Evolutionary Studies, Department of Biological Anthropology, Fitzwilliam Street, Cambridge

Other talks

CONFERENCE: Chemical and material sciences enabled by AI and automation Group Work The elephant in the room: Machine Learning directly into physical models Title to be confirmed Dinner Topology of the Ritz energy landscape
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity