A relational model of types-and-effects in higher-order concurrent separation logic

Publication: Research - peer-reviewArticle in proceedings

DOI

Original languageEnglish
Title of host publicationProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : POPL 2017
Number of pages13
PublisherACM
Publication year15 Jan 2017
ISBN (print)978-1-4503-4660-3
DOIs
StatePublished - 15 Jan 2017

See relations at Aarhus University Citationformats

ID: 107977312