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

Research output: 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
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery
Publication yearJan 2017
Pages218-231
ISBN (Print)978-1-4503-4660-3
DOIs
StatePublished - Jan 2017
EventPrinciples of Programming Languages - Paris, France
Duration: 15 Jan 201721 Jan 2017
Conference number: 44
https://conf.researchr.org/home/POPL-2017

Conference

ConferencePrinciples of Programming Languages
Nummer44
LandFrance
ByParis
Periode15/01/201721/01/2017
Internetadresse

See relations at Aarhus University Citationformats

ID: 107977312