Show simple item record

A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST

dc.contributor.authorTimany, Amin
dc.contributor.authorStefanesco, Léo
dc.contributor.authorKrogh-Jespersen, Morten
dc.contributor.authorBirkedal, Lars
dc.date.accessioned2021-10-26T05:43:16Z
dc.date.available2021-10-26T05:43:16Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31951
dc.sourceIIOimport
dc.titleA logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpageArticle No. 64
dc.source.conferencePrinciples of Programming Languages (POPL)
dc.source.conferencedate7/01/2018
dc.source.conferencelocationLos Angeles, CA USA
dc.identifier.urlhttps://doi.org/10.1145/3158152
imec.availabilityPublished - open access
imec.internalnotesProceedings of the ACM; Vol. 2


Files in this item

Thumbnail
Name:
42467.pdf
Size:
423.8Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record