Publication:
Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
Loading...
Journal
Abstract
Description
Statistics
Downloads
310 since deposited on 2022-05-15
10last month
8last week
Acq. date: 2026-07-19
Views
1625 since deposited on 2022-05-15
Acq. date: 2026-07-19
Citations
Statistics
Downloads
310 since deposited on 2022-05-15
10last month
8last week
Acq. date: 2026-07-19
Views
1625 since deposited on 2022-05-15
Acq. date: 2026-07-19
Citations