< Back to previous page

Publication

Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation

Journal Contribution - Journal Article

Journal: Proceedings of the ACM on Programming Languages-PACMPL
Issue: OOPSLA
Volume: 6
Publication year:2022
Accessibility:Open