Domain theoretic models of parametric polymorphism

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

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

Original language	English
Journal	Theoretical Computer Science
Volume	388
Issue number	1-3
Pages (from-to)	152-172
ISSN	0304-3975
DOIs	https://doi.org/10.1016/j.tcs.2007.06.016
Publication status	Published - 2010

Access to Document

@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

VL - 388

SP - 152

EP - 172

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1-3

ER -