ITU

Relational parametricity for Computational Effects

Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

Standard

Relational parametricity for Computational Effects. / Møgelberg, Rasmus Ejlers; Simpson, Alex .

2007. Paper presented at 22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007, Wroclaw, Poland.

Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

Harvard

Møgelberg, RE & Simpson, A 2007, 'Relational parametricity for Computational Effects', Paper presented at 22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007, Wroclaw, Poland, 10/07/2007 - 14/07/2007. https://doi.org/10.1109/LICS.2007.40

APA

Møgelberg, R. E., & Simpson, A. (2007). Relational parametricity for Computational Effects. Paper presented at 22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007, Wroclaw, Poland. https://doi.org/10.1109/LICS.2007.40

Vancouver

Møgelberg RE, Simpson A. Relational parametricity for Computational Effects. 2007. Paper presented at 22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007, Wroclaw, Poland. https://doi.org/10.1109/LICS.2007.40

Author

Møgelberg, Rasmus Ejlers ; Simpson, Alex . / Relational parametricity for Computational Effects. Paper presented at 22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007, Wroclaw, Poland.

Bibtex

@conference{dcc555ad37e342f8aaa5710cec13f290,
title = "Relational parametricity for Computational Effects",
author = "M{\o}gelberg, {Rasmus Ejlers} and Alex Simpson",
year = "2007",
doi = "10.1109/LICS.2007.40",
language = "English",
note = "null ; Conference date: 10-07-2007 Through 14-07-2007",
url = "http://july2007.ii.uni.wroc.pl/",

}

RIS

TY - CONF

T1 - Relational parametricity for Computational Effects

AU - Møgelberg, Rasmus Ejlers

AU - Simpson, Alex

N1 - Conference code: 22nd

PY - 2007

Y1 - 2007

U2 - 10.1109/LICS.2007.40

DO - 10.1109/LICS.2007.40

M3 - Paper

Y2 - 10 July 2007 through 14 July 2007

ER -

ID: 31647094