Login / Signup

Intrinsically Typed Sessions with Callbacks (Functional Pearl).

Peter Thiemann
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • higher order
  • belief revision
  • database
  • conditional independence
  • lambda calculus
  • real time
  • multi agent systems
  • pairwise
  • causal models
  • functional properties