Relational parametricity for references and recursive types (2009)

Cached

Download Links

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