Higher-rank polymorphism

A Lightweight Type-and-Effect System for Invalidation Safety

In many programming paradigms, some program entities are only valid within delimited regions of the program, such as resources that …

Cunyuan Gao, Lionel Parreaux