¶Reading log
2023-04-20
Added [Bosman2023], which presents a calculus that works with scoped effects and not just algebraic effects.
[Bosman2023] A calculus for scoped effects and handlers
Added [Tang2023], which explores the relationship between structural subtyping and parametric polymorphism.