A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

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

Documents

  • popl18-p27

    Final published version, 423 KB, PDF-document

DOI

Original languageEnglish
Title of host publicationProceedings of the ACM on Programming Languages
Number of pages28
Volume2
Place of publicationACM New York, NY, USA
PublisherAssociation for Computing Machinery
Publication year8 Jan 2018
EditionPOPL
Pages64:00-64:28
DOIs
StatePublished - 8 Jan 2018
EventPrinciples of Programming Languages (POPL) 2018 - Omni Hotel, Los Angeles, United States
Duration: 7 Jan 201813 Jan 2018
https://popl18.sigplan.org/home

Conference

ConferencePrinciples of Programming Languages (POPL) 2018
LocationOmni Hotel
LandUnited States
ByLos Angeles
Periode07/01/201813/01/2018
Internetadresse
SeriesProceedings of the ACM on Programming Languages
Number2
ISSN2475-1421

See relations at Aarhus University Citationformats

ID: 132200730