Show simple item record

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

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.identifier.issn2475-1421
dc.identifier.otherWOS:000790329300018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/39822.2
dc.sourceWOS
dc.titlePurity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
dc.typeJournal article
dc.identifier.doi10.1145/3527326
dc.source.numberofpages27
dc.source.peerreviewyes
dc.source.beginpage82
dc.source.journalPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
dc.source.issueOOPSLA
dc.source.volume6
imec.availabilityPublished - open access
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.


Files in this item

Thumbnail
Name:
Jacobs_Purity of an ST monad.pdf
Size:
403.2Kb
Format:
PDF
Description:
Published version
View/open

This item appears in the following collection(s)

Show simple item record

Version history

VersionItemDateSummary
220.500.12860/39822.2*2022-06-29T10:24:22Zvalidation by library/open access desk
120.500.12860/398222022-05-15T02:18:27Z

*Selected version