Aarhus University Seal / Aarhus Universitets segl

Relational Parametricity for References and Recursive Types

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Lars Birkedal
  • Kristian Støvring, Denmark
  • Jacob Junker Thamsborg, Denmark
Original languageEnglish
Title of host publication Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.
EditorsAndrew Kennedy, Amal Ahmed
Number of pages13
PublisherAssociation for Computing Machinery
Publication year2009
Pages91-104
ISBN (print)978-1-60558-420-1
Publication statusPublished - 2009
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743300