Aarhus University Seal / Aarhus Universitets segl

A relational modal logic for higher-order stateful ADTs

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
EditorsM. Hermenegildo, J. Palsberg
PublisherAssociation for Computing Machinery
Publication year2010
Publication statusPublished - 2010
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743415