Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

Lars Birkedal; Kristian Støvring; Jacob Junker Thamsborg

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

Lars Birkedal
, Kristian Støvring
, Jacob Junker Thamsborg

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Pages (from-to)	456-470
Number of pages	15
ISSN	0302-9743
Publication status	Published - 2009
Event	Foundations of Software Science and Computational Structures, 12th International Conference - York, United Kingdom Duration: 22 Mar 2009 → 29 Mar 2009

Conference

Conference	Foundations of Software Science and Computational Structures, 12th International Conference
Country/Territory	United Kingdom
City	York
Period	22/03/2009 → 29/03/2009

Cite this

@inproceedings{036f64b05b6511de8664000ea68e967b,

title = "Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types",

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

year = "2009",

language = "English",

pages = "456--470",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "Foundations of Software Science and Computational Structures, 12th International Conference ; Conference date: 22-03-2009 Through 29-03-2009",

}

TY - GEN

T1 - Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

AU - Birkedal, Lars

AU - Støvring, Kristian

AU - Thamsborg, Jacob Junker

PY - 2009

Y1 - 2009

M3 - Conference article

SN - 0302-9743

SP - 456

EP - 470

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Foundations of Software Science and Computational Structures, 12th International Conference

Y2 - 22 March 2009 through 29 March 2009

ER -