Login / Signup

Modular Denotational Semantics for Effects with Guarded Interaction Trees.

Dan FruminAmin TimanyLars Birkedal
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • decision trees
  • query language
  • preprocessing
  • data management