ITU

Partiality, State, and Dependent Types

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

View graph of relations

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

ID: 32340268