ITU

Relational parametricity for control considered as a computational effect

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Standard

Relational parametricity for control considered as a computational effect. / Møgelberg, Rasmus Ejlers; Simpson, Alex.

In: Electronical Notes in Theoretical Computer Science, Vol. 173, 2007.

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Harvard

APA

Vancouver

Author

Bibtex

@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",

}

RIS

TY - JOUR

T1 - Relational parametricity for control considered as a computational effect

AU - Møgelberg, Rasmus Ejlers

AU - Simpson, Alex

PY - 2007

Y1 - 2007

M3 - Tidsskriftartikel

VL - 173

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -

ID: 31635596