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.