Relational parametricity for references and recursive types (2008)

by Lars Birkedal, Kristian Støvring, Jacob Thamsborg