Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

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

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	4052
ISSN	0302-9743
DOI	https://doi.org/10.1007/11787006_32
Status	Udgivet - 2006
Begivenhed	33rd International Colloquium, ICALP 2006: 33rd International Colloquium on - Venice, Italien Varighed: 9 jul. 2006 → 16 jul. 2006 Konferencens nummer: 33rd http://icalp06.dsi.unive.it/

Konference	33rd International Colloquium, ICALP 2006
Nummer	33rd
Land/Område	Italien
By	Venice
Periode	09/07/2006 → 16/07/2006
Internetadresse	http://icalp06.dsi.unive.it/

Adgang til dokumentet

@inproceedings{f4fea7ba990e43e58b131fba96715ae4,

title = "Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism",

author = "M{\o}gelberg, \{Rasmus Ejlers\}",

year = "2006",

doi = "10.1007/11787006\_32",

language = "English",

volume = "4052",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "33rd International Colloquium, ICALP 2006 ; Conference date: 09-07-2006 Through 16-07-2006",

url = "http://icalp06.dsi.unive.it/",

}

TY - GEN

T1 - Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

AU - Møgelberg, Rasmus Ejlers

N1 - Conference code: 33rd

PY - 2006

Y1 - 2006

U2 - 10.1007/11787006_32

DO - 10.1007/11787006_32

M3 - Conference article

SN - 0302-9743

VL - 4052

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 33rd International Colloquium, ICALP 2006

Y2 - 9 July 2006 through 16 July 2006

ER -