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

Jacobs, KoenKoenJacobsDevriese, DominiqueDominiqueDevrieseTimany, AminAminTimany2022-06-292022-05-152022-06-2920222475-1421WOS:000790329300018https://imec-publications.be/handle/20.500.12860/39822Purity of an ST Monad Full Abstraction by Semantically Typed Back-TranslationJournal article10.1145/3527326WOS:000790329300018