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

Statistics

Downloads

424 since deposited on 2022-05-15
24last month
6last week
Acq. date: 2026-10-13

Views

1626 since deposited on 2022-05-15
1last month
Acq. date: 2026-10-13

Citations

Statistics

Downloads

424 since deposited on 2022-05-15
24last month
6last week
Acq. date: 2026-10-13

Views

1626 since deposited on 2022-05-15
1last month
Acq. date: 2026-10-13

Citations