Notice
This item has not yet been validated by imec staff.
Notice
This is not the latest version of this item. The latest version can be found at: https://imec-publications.be/handle/20.500.12860/39822.2
Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
dc.contributor.author | Jacobs, Koen | |
dc.contributor.author | Devriese, Dominique | |
dc.contributor.author | Timany, Amin | |
dc.date.accessioned | 2022-05-15T02:18:27Z | |
dc.date.available | 2022-05-15T02:18:27Z | |
dc.date.issued | 2022-APR | |
dc.identifier.other | WOS:000790329300018 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/39822 | |
dc.source | WOS | |
dc.title | Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation | |
dc.type | Journal article | |
dc.identifier.doi | 10.1145/3527326 | |
dc.source.numberofpages | 27 | |
dc.source.peerreview | yes | |
dc.source.journal | PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | |
dc.source.issue | OOPSLA | |
dc.source.volume | 6 | |
imec.availability | Under review |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |