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: | 10 - 3 self |
Document Versions
| Relational parametricity for references and recursive types –Lars Birkedal, Kristian Støvring, Jacob Thamsborg — 2009 — In Proceedings Fourth ACM Workshop on Types in Language Design and Implementation, TLDI’09 |
