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