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

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Dokumenter

  • popl18-p27

    Forlagets udgivne version, 424 KB, PDF-dokument

DOI

OriginalsprogEngelsk
TitelProceedings of the ACM on Programming Languages
Antal sider28
UdgivelsesstedNew York, NY
ForlagAssociation for Computing Machinery
Udgivelsesår8 jan. 2018
Sider64:00-64:28
DOI
StatusUdgivet - 8 jan. 2018
BegivenhedPrinciples of Programming Languages (POPL) 2018 - Omni Hotel, Los Angeles, USA
Varighed: 7 jan. 201813 jan. 2018
https://popl18.sigplan.org/home

Konference

KonferencePrinciples of Programming Languages (POPL) 2018
LokationOmni Hotel
LandUSA
ByLos Angeles
Periode07/01/201813/01/2018
Internetadresse
SerietitelProceedings of the ACM on Programming Languages
Vol/bind2
ISSN2475-1421

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 132200730