Relational parametricity for references and recursive types.

Lars Birkedal Kristian Støvring Jacob Thamsborg Relational parametricity for references and recursive types. 91-104 2009 TLDI http://doi.acm.org/10.1145/1481861.1481873 conf/tldi/2009 db/conf/tldi/tldi2009.html#BirkedalST09