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