Login / Signup

Modular Denotational Semantics for Effects with Guarded Interaction Trees.

Dan FruminAmin TimanyLars Birkedal
Published in: CoRR (2023)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • abstract data types
  • decision trees
  • data analysis
  • general purpose