Skip to content
Institutional repository
Communities & Collections
Browse
Site
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
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
Metrics
Downloads
135
since deposited on 2022-05-15
Acq. date: 2025-10-25
Views
1616
since deposited on 2022-05-15
Acq. date: 2025-10-25
Citations
Metrics
Downloads
135
since deposited on 2022-05-15
Acq. date: 2025-10-25
Views
1616
since deposited on 2022-05-15
Acq. date: 2025-10-25
Citations