From parametric polymorphism to models of polymorphic FPC

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

Abstract

Original language	English
Journal	Mathematical Structures in Computer Science
Volume	19
Issue number	4
Pages (from-to)	639-686
ISSN	0960-1295
Publication status	Published - 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",

}