Publication:

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

Date

2018
Proceedings Paper
Simple item page Full metadata Statistics
 
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.embargo9999-12-31
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31951
dc.identifier.urlhttps://doi.org/10.1145/3158152
dc.source.beginpageArticle No. 64
dc.source.conferencePrinciples of Programming Languages (POPL)
dc.source.conferencedate7/01/2018
dc.source.conferencelocationLos Angeles, CA USA
dc.title

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

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
42467.pdf
Size:
423.88 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions