Type-preserving CPS translation of Σ and Π types is not not possible.

William J. Bowman Youyou Cong Nick Rioux Amal Ahmed

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

Keyphrases

multiple types
artificial intelligence
machine translation
cross language information retrieval
data mining
decision making
e learning
search algorithm