ITU

A logic for parametric polymorphism with effects

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-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 Journal › Conference article › Research › peer-review

Harvard

Møgelberg, RE & Simpson, A 2008, 'A logic for parametric polymorphism with effects', Lecture Notes in Computer Science, vol. 4941, pp. 142-156. https://doi.org/10.1007/978-3-540-68103-8

APA

Møgelberg, R. E., & Simpson, A. (2008). A logic for parametric polymorphism with effects. Lecture Notes in Computer Science, 4941, 142-156. https://doi.org/10.1007/978-3-540-68103-8

Vancouver

Møgelberg RE, Simpson A. A logic for parametric polymorphism with effects. Lecture Notes in Computer Science. 2008;4941:142-156. https://doi.org/10.1007/978-3-540-68103-8

Author

Møgelberg, Rasmus Ejlers ; Simpson, Alex. / A logic for parametric polymorphism with effects. In: Lecture Notes in Computer Science. 2008 ; Vol. 4941. pp. 142-156.

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