Sign in

A metalanguage for cost-aware denotational semantics.

Yue NiuRobert Harper
Published in: CoRR (2022)
Keyphrases
  • denotational semantics
  • programming language
  • total cost
  • query language
  • operational semantics
  • data analysis
  • general purpose
  • distance function