12 citations · 13 across the 2 of their papers we have counts for
1 paper · 2 filters
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee +2
Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables cap…