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...
Thumbnail Image

Files

Published version 403.28 KB

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