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