ITU

A logic for parametric polymorphism with effects

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

Standard

A logic for parametric polymorphism with effects. / Møgelberg, Rasmus Ejlers; Simpson, Alex.

In: Lecture Notes in Computer Science, Vol. 4941, 2008, p. 142-156.

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

Harvard

APA

Vancouver

Author

Bibtex

@inproceedings{5fba4290cfac4c4e8c4e99602234dbe0,
title = "A logic for parametric polymorphism with effects",
author = "M{\o}gelberg, {Rasmus Ejlers} and Alex Simpson",
year = "2008",
doi = "10.1007/978-3-540-68103-8",
language = "English",
volume = "4941",
pages = "142--156",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer",

}

RIS

TY - GEN

T1 - A logic for parametric polymorphism with effects

AU - Møgelberg, Rasmus Ejlers

AU - Simpson, Alex

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-68103-8

DO - 10.1007/978-3-540-68103-8

M3 - Conference article

VL - 4941

SP - 142

EP - 156

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -

ID: 31647059