2 citations · 2 across the 1 of their papers we have counts for
1 paper
Anindya Banerjee, David A. Naumann
Dedicated to the memory of Edsger W.Dijkstra. Representation independence or relational parametricity formally characterizes the encapsulation provided by language constructs for d…