Relational Parametricity for References and Recursive Types

Lars Birkedal; Kristian Støvring; Jacob Junker Thamsborg

Relational Parametricity for References and Recursive Types

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
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.
Editors	Andrew Kennedy, Amal Ahmed
Number of pages	13
Publisher	Association for Computing Machinery
Publication date	2009
Pages	91-104
ISBN (Print)	978-1-60558-420-1
Publication status	Published - 2009
Event	2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation - Savannah, United States Duration: 24 Jan 2009 → 24 Jan 2009

Conference

Conference	2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
Country/Territory	United States
City	Savannah
Period	24/01/2009 → 24/01/2009

Cite this

Birkedal, Lars ; Støvring, Kristian ; Thamsborg, Jacob Junker. / Relational Parametricity for References and Recursive Types. Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.. editor / Andrew Kennedy ; Amal Ahmed. Association for Computing Machinery, 2009. pp. 91-104

@inproceedings{886abcc05b6311de8664000ea68e967b,

title = "Relational Parametricity for References and Recursive Types",

author = "Lars Birkedal and Kristian St{\o}vring and Thamsborg, {Jacob Junker}",

year = "2009",

language = "English",

isbn = "978-1-60558-420-1",

pages = "91--104",

editor = "Andrew Kennedy and Amal Ahmed",

booktitle = " Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.",

publisher = "Association for Computing Machinery",

address = "United States",

note = "2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation ; Conference date: 24-01-2009 Through 24-01-2009",

}

Birkedal, L, Støvring, K & Thamsborg, JJ 2009, Relational Parametricity for References and Recursive Types. in A Kennedy & A Ahmed (eds), Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.. Association for Computing Machinery, pp. 91-104, 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, United States, 24/01/2009.

Relational Parametricity for References and Recursive Types. / Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob Junker.
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.. ed. / Andrew Kennedy; Amal Ahmed. Association for Computing Machinery, 2009. p. 91-104.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Relational Parametricity for References and Recursive Types

AU - Birkedal, Lars

AU - Støvring, Kristian

AU - Thamsborg, Jacob Junker

PY - 2009

Y1 - 2009

M3 - Article in proceedings

SN - 978-1-60558-420-1

SP - 91

EP - 104

BT - Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.

A2 - Kennedy, Andrew

A2 - Ahmed, Amal

PB - Association for Computing Machinery

T2 - 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

Y2 - 24 January 2009 through 24 January 2009

ER -