A metalanguage for cost-aware denotational semantics.

Yue Niu Robert Harper

Published in: CoRR (2022)

Keyphrases

denotational semantics
programming language
total cost
query language
operational semantics
data analysis
general purpose
distance function