8 citations · 18 across the 4 of their papers we have counts for
1 paper · 1 filter
Abhishek Anand, Greg Morrisett
Reynold's parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependen…