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

  • Amin Timany, KU Leuven, Iran, Islamic Republic of
  • Léo Stefanesco, IRIF, Université Paris Diderot & CNRS, France
  • Morten Krogh-Jespersen
  • ,
  • Lars Birkedal
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
Publication statusPublished - 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

Download statistics

No data available

ID: 132200730