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.
    Rhiger, Morten. / Type Soundness for Open and Closed Code Fragments. Electronic Proceedings of the 2nd MetaOCaml Workshop. red. / Kedar Swadi ; Walid Taha. Rice University, 2005.
    @inbook{11579d2052be11dba4bc000ea68e967b,
    title = "Type Soundness for Open and Closed Code Fragments",
    author = "Morten Rhiger",
    year = "2005",
    language = "English",
    editor = "Kedar Swadi and Walid Taha",
    booktitle = "Electronic Proceedings of the 2nd MetaOCaml Workshop",
    publisher = "Rice University",

    }

    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, MetaOCaml Workshop, Tallinn, Estland, 28/09/2005.

    Type Soundness for Open and Closed Code Fragments. / Rhiger, Morten.

    Electronic Proceedings of the 2nd MetaOCaml Workshop. red. / Kedar Swadi; Walid Taha. Rice University, 2005.

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

    TY - ABST

    T1 - Type Soundness for Open and Closed Code Fragments

    AU - Rhiger, Morten

    PY - 2005

    Y1 - 2005

    M3 - Conference abstract in proceedings

    BT - Electronic Proceedings of the 2nd MetaOCaml Workshop

    A2 - Swadi, Kedar

    A2 - Taha, Walid

    PB - Rice University

    ER -

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