Sign in

A Metalanguage for Cost-Aware Denotational Semantics.

Yue NiuRobert Harper
Published in: LICS (2023)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • query language
  • databases
  • first order logic
  • distributed databases
  • total cost