58 citations · 117 across the 7 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…