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

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Sider (fra-til)	456-470
Antal sider	15
ISSN	0302-9743
Status	Udgivet - 2009
Begivenhed	Foundations of Software Science and Computational Structures, 12th International Conference - York, Storbritannien Varighed: 22 mar. 2009 → 29 mar. 2009

Konference	Foundations of Software Science and Computational Structures, 12th International Conference
Land/Område	Storbritannien
By	York
Periode	22/03/2009 → 29/03/2009

Citationsformater

@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 = "null ; 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

SP - 456

EP - 470

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

Y2 - 22 March 2009 through 29 March 2009

ER -