An equivalence-preserving CPS translation via multi-language semantics
Keyword(s):
2015 ◽
Vol 27
(4)
◽
pp. 459-459
Keyword(s):
2018 ◽
Vol 45
(1)
◽
pp. 85-104