Relational parametricity for Computational Effects

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

Original languageEnglish
Publication date2007
DOIs
Publication statusPublished - 2007
Event22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007 - Wroclaw, Poland
Duration: 10 Jul 200714 Jul 2007
Conference number: 22nd
http://july2007.ii.uni.wroc.pl/

Conference

Conference22nd Annual IEEE Symposium on Logic in Computer Science, 2007. LICS 2007
Number22nd
Country/TerritoryPoland
CityWroclaw
Period10/07/200714/07/2007
Internet address

Cite this