From parametric polymorphism to models of polymorphic FPC

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

Abstract

Originalsprog	Engelsk
Tidsskrift	Mathematical Structures in Computer Science
Vol/bind	19
Udgave nummer	4
Sider (fra-til)	639-686
ISSN	0960-1295
Status	Udgivet - 2009

@article{acd8e790e40111dea523000ea68e967b,

title = "From parametric polymorphism to models of polymorphic FPC",

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

year = "2009",

language = "English",

volume = "19",

pages = "639--686",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "4",

}