Matías Toro

Plausible sealing for gradual parametricity

2022 · Proceedings of the ACM on Programming Languages

Graduality and parametricity have proven to be extremely challenging notions to bring together. Intuitively, enforcing parametricity gradually requires possibly sealing values in order to detect violations of uniform behavior. Toro et al. (2019) argue that …