19 citations · 60 across the 11 of their papers we have counts for
1 paper · 2 filters
Carlo Angiuli, Evan Cavallo, Anders Mörtberg +1
In their usual form, representation independence metatheorems provide an external guarantee that two implementations of an abstract interface are interchangeable when they are rela…