Type Soundness for Open and Closed Code Fragments

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

    Original languageEnglish
    Title of host publicationElectronic Proceedings of the 2nd MetaOCaml Workshop
    EditorsKedar Swadi, Walid Taha
    Number of pages12
    PublisherRice University
    Publication date2005
    Publication statusPublished - 2005
    EventMetaOCaml Workshop - Tallinn, Estonia
    Duration: 28 Sep 200528 Sep 2005
    Conference number: 2

    Conference

    ConferenceMetaOCaml Workshop
    Number2
    CountryEstonia
    CityTallinn
    Period28/09/200528/09/2005

    Cite this

    Rhiger, M. (2005). Type Soundness for Open and Closed Code Fragments. In K. Swadi, & W. Taha (Eds.), 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. editor / 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. in K Swadi & W Taha (eds), Electronic Proceedings of the 2nd MetaOCaml Workshop. Rice University, Tallinn, Estonia, 28/09/2005.

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

    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. In Swadi K, Taha W, editors, Electronic Proceedings of the 2nd MetaOCaml Workshop. Rice University. 2005