Relational parametricity for Computational Effects

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftPaperForskningpeer review

OriginalsprogEngelsk
Publikationsdato2007
DOI
StatusUdgivet - 2007
Begivenhed22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007 - Wroclaw, Polen
Varighed: 10 jul. 200714 jul. 2007
Konferencens nummer: 22nd
http://july2007.ii.uni.wroc.pl/

Konference

Konference22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007
Nummer22nd
Land/OmrådePolen
ByWroclaw
Periode10/07/200714/07/2007
Internetadresse

Citationsformater