Login / Signup

Intrinsically Typed Sessions With Callbacks.

Peter Thiemann
Published in: CoRR (2023)
Keyphrases
  • higher order
  • lambda calculus
  • fixed order
  • data sets
  • decision making
  • website