💾 Archived View for dcreager.net › 2023 › 04 › 20-reading-log.gmi captured on 2023-11-14 at 08:15:54. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
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.