Skip to content
Institutional repository
Communities & Collections
Browse all items
Scientific publications
Open knowledge
Log In
imec Publications
Articles
Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
Publication:
Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
Copy permalink
Date
2022
Journal article
https://doi.org/10.1145/3527326
Simple item page
Full metadata
Statistics
Loading...
Loading...
Files
Published version
403.28 KB
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Jacobs, Koen
;
Devriese, Dominique
;
Timany, Amin
Journal
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
Abstract
Description
Statistics
Downloads
233
since deposited on 2022-05-15
20
last month
5
last week
Acq. date: 2026-02-26
Views
1618
since deposited on 2022-05-15
Acq. date: 2026-02-26
Citations
Statistics
Downloads
233
since deposited on 2022-05-15
20
last month
5
last week
Acq. date: 2026-02-26
Views
1618
since deposited on 2022-05-15
Acq. date: 2026-02-26
Citations