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

Jonathan Sterling Daniel Gratzer Lars Birkedal

Published in: CSL (2024)

Keyphrases

denotational semantics
programming language
expressive power
database
data structure
general purpose