Compositional Data Types - A Report from the Field

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearch

    Original languageUndefined/Unknown
    Title of host publicationProceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software
    Publication date2011
    Publication statusPublished - 2011

    Cite this