Relational parametricity for Computational Effects

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Originalsprog	Engelsk
Publikationsdato	2007
DOI	https://doi.org/10.1109/LICS.2007.40
Status	Udgivet - 2007
Begivenhed	22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007 - Wroclaw, Polen Varighed: 10 jul. 2007 → 14 jul. 2007 Konferencens nummer: 22nd http://july2007.ii.uni.wroc.pl/

Konference	22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007
Nummer	22nd
Land/Område	Polen
By	Wroclaw
Periode	10/07/2007 → 14/07/2007
Internetadresse	http://july2007.ii.uni.wroc.pl/

Adgang til dokumentet

@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/",

}