Domain theoretic models of parametric polymorphism

Rasmus Ejlers Møgelberg, Lars Birkedal, Rasmus Lerchedal Petersen

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

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	388
Udgave nummer	1-3
Sider (fra-til)	152-172
ISSN	0304-3975
DOI	https://doi.org/10.1016/j.tcs.2007.06.016
Status	Udgivet - 2010

Adgang til dokumentet

@article{9f43501b4ff8467c8206696f703df855,

title = "Domain theoretic models of parametric polymorphism",

author = "M{\o}gelberg, {Rasmus Ejlers} and Lars Birkedal and Petersen, {Rasmus Lerchedal}",

year = "2010",

doi = "10.1016/j.tcs.2007.06.016",

language = "English",

volume = "388",

pages = "152--172",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-3",

}

TY - JOUR

T1 - Domain theoretic models of parametric polymorphism

AU - Møgelberg, Rasmus Ejlers

AU - Birkedal, Lars

AU - Petersen, Rasmus Lerchedal

PY - 2010

Y1 - 2010

U2 - 10.1016/j.tcs.2007.06.016

DO - 10.1016/j.tcs.2007.06.016

M3 - Journal article

SN - 0304-3975

VL - 388

SP - 152

EP - 172

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

ER -