Fully abstract translations and parametric polymorphism (1994)

by P W O’Hearn, J G Riecke
Venue:In Programming Languages and Systems – ESOP ’94, Lecture Notes in Computer Science 788