Publication:

Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation

Date

2022
Journal article
https://doi.org/10.1145/3527326
Simple item page Full metadata Statistics
 
dc.contributor.authorJacobs, Koen
dc.contributor.authorDevriese, Dominique
dc.contributor.authorTimany, Amin
dc.date.accessioned2022-06-29T10:27:16Z
dc.date.available2022-05-15T02:18:27Z
dc.date.available2022-06-29T10:27:16Z
dc.date.issued2022
dc.description.wosFundingTextThis work was partially supported by the Air Force Office of Scientific Research under award number FA9550-21-1-0054 and by Internal Funds KU Leuven grant C14/18/064.
dc.identifier.doi10.1145/3527326
dc.identifier.issn2475-1421
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/39822
dc.publisherASSOC COMPUTING MACHINERY
dc.source.beginpage82
dc.source.issueOOPSLA
dc.source.journalPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
dc.source.numberofpages27
dc.source.volume6
dc.title

Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation

dc.typeJournal article
dspace.entity.typePublication
Files

Original bundle

Name:
Jacobs_Purity of an ST monad.pdf
Size:
403.28 KB
Format:
Adobe Portable Document Format
Description:
Published version
Download
Publication available in collections:
Articles