Relational parametricity for Computational Effects

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Original language	English
Publication date	2007
DOIs	https://doi.org/10.1109/LICS.2007.40
Publication status	Published - 2007
Event	22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007 - Wroclaw, Poland Duration: 10 Jul 2007 → 14 Jul 2007 Conference number: 22nd http://july2007.ii.uni.wroc.pl/

Conference	22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007
Number	22nd
Country/Territory	Poland
City	Wroclaw
Period	10/07/2007 → 14/07/2007
Internet address	http://july2007.ii.uni.wroc.pl/

Access to Document

@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 = "22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007 ; Conference date: 10-07-2007 Through 14-07-2007",

url = "http://july2007.ii.uni.wroc.pl/",

}