A monad for full ground reference cells.

Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton

Browse the full LICS paper archive.