Sign in

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

Jonathan SterlingDaniel GratzerLars Birkedal
Published in: CSL (2024)
Keyphrases
  • denotational semantics
  • programming language
  • expressive power
  • database
  • data structure
  • general purpose