3 citations · 4 across the 2 of their papers we have counts for
1 paper · 2 filters
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…