Tracking Captured Variables in Types

Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee +2

Type systems usually characterize the shape of values but not their free variables. However, there are many desirable safety properties one could guarantee if one could track how r…