< 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