A Calculus for Scoped Effects & Handlers.

Roger Bosman Birthe van den Berg Wenhao Tang Tom Schrijvers

Published in: CoRR (2023)

Keyphrases

algebraic structure
case study
expert systems
individual differences
computer based instruction