Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics.

Jonathan Sterling, Daniel Gratzer, Lars Birkedal

Browse the full CSL paper archive.