Publication:
Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
Loading...
Journal
Abstract
Description
Metrics
Downloads
178 since deposited on 2022-05-15
36last month
8last week
Acq. date: 2025-12-12
Views
1618 since deposited on 2022-05-15
2last month
2last week
Acq. date: 2025-12-12
Citations
Metrics
Downloads
178 since deposited on 2022-05-15
36last month
8last week
Acq. date: 2025-12-12
Views
1618 since deposited on 2022-05-15
2last month
2last week
Acq. date: 2025-12-12
Citations