Relational parametricity for references and recursive types (2009)

by Lars Birkedal , Kristian Støvring , Jacob Thamsborg
Venue:In Proceedings Fourth ACM Workshop on Types in Language Design and Implementation, TLDI’09
Citations:12 - 5 self