Relational parametricity for control considered as a computational effect

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

Originalsprog	Dansk
Tidsskrift	Electronical Notes in Theoretical Computer Science
Vol/bind	173
ISSN	1571-0661
Status	Udgivet - 2007

Citationsformater

@article{5fc5fce4a580442fabd77f4e15951dba,

title = "Relational parametricity for control considered as a computational effect",

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

year = "2007",

language = "Dansk",

volume = "173",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Pergamon Press",

}