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
    LandEstland
    ByTallinn
    Periode28/09/200528/09/2005

    Citer dette

    Rhiger, M. (2005). Type Soundness for Open and Closed Code Fragments. I K. Swadi, & W. Taha (red.), Electronic Proceedings of the 2nd MetaOCaml Workshop Rice University.