Partiality, State, and Dependent Types

Kasper Svendsen, Lars Birkedal, Aleks Nanevski

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011
    VolumeLNCS 6690
    PublisherSpringer
    Publication date2011
    Pages198-212
    ISBN (Print)978-3-642-21690-9
    Publication statusPublished - 2011

    Cite this