Lightweight Polymorphic Effects
Abstract elided by the publisher.
Related papers
- Effects as capabilities: effect handlers and lightweight effect polymorphism OOPSLA 2020
- Customizable gradual polymorphic effects for Scala OOPSLA 2015
- Intensional Effect Polymorphism ECOOP 2015
- Lightweight Family Polymorphism APLAS 2005
- A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference OOPSLA 2025
- An Order-Theoretic Analysis of Universe Polymorphism POPL 2023
- Polymorphic Iterable Sequential Effect Systems TOPLAS 2021
- A Generic Approach to Flow-Sensitive Polymorphic Effects ECOOP 2017