Type Soundness for Open and Closed Code Fragments

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

    OriginalsprogEngelsk
    TitelElectronic Proceedings of the 2nd MetaOCaml Workshop
    RedaktørerKedar Swadi, Walid Taha
    Antal sider12
    ForlagRice University
    Publikationsdato2005
    StatusUdgivet - 2005
    BegivenhedMetaOCaml Workshop - Tallinn, Estland
    Varighed: 28 sep. 200528 sep. 2005
    Konferencens nummer: 2

    Konference

    KonferenceMetaOCaml Workshop
    Nummer2
    Land/OmrådeEstland
    ByTallinn
    Periode28/09/200528/09/2005

    Citer dette