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

296 since deposited on 2022-05-15
34last month
2last week
Acq. date: 2026-05-01

Views

1625 since deposited on 2022-05-15
7last month
1last week
Acq. date: 2026-05-01

Citations

Statistics

Downloads

296 since deposited on 2022-05-15
34last month
2last week
Acq. date: 2026-05-01

Views

1625 since deposited on 2022-05-15
7last month
1last week
Acq. date: 2026-05-01

Citations