Purity of an ST monad: full abstraction by semantically typed back-translation.

Koen Jacobs Dominique Devriese Amin Timany

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

high level
machine translation
query translation
higher order
cross language information retrieval
multiscale
semantic information
target language
fixed order
database
artificial intelligence
decision making
e learning
image sequences
data abstraction
decision theoretic planning