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

331 since deposited on 2022-05-15
20last month
3last week
Acq. date: 2026-08-21

Views

1625 since deposited on 2022-05-15
Acq. date: 2026-08-21

Citations

Statistics

Downloads

331 since deposited on 2022-05-15
20last month
3last week
Acq. date: 2026-08-21

Views

1625 since deposited on 2022-05-15
Acq. date: 2026-08-21

Citations