dcreager.net

↓

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.

[Tang2023] Structural subtyping as parametric polymorphism

This page is also available via Gemini at gemini://dcreager.net/2023/04/20-reading-log.gmi