Relational parametricity for Computational Effects

Rasmus Ejlers Møgelberg
,
Alex Simpson

University of Edinburgh

Research Output:

Contribution to conference - NOT published in proceeding or journal

Paper

Peer-review

Open access

Publication Information

Output type

Research Output:

Contribution to conference - NOT published in proceeding or journal

Paper

Peer-review

Original language

English

Publication milestones

Published - 2007

Publication status

Published - 2007

Publication IDs

Scopus: 44649153132

Publication metrics

PlumX, opens in new tab

Captures

Citations

Access to documents

10.1109/LICS.2007.40

Related Event

Title

22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007

Event type

Conference

Degree of recognition

International event

Date

10/07/2007 - 14/07/2007

Location

WroclawPoland