A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)
Keyword(s):
Keyword(s):
2021 ◽
Vol 263
(6)
◽
pp. 548-555
2015 ◽
Vol 1113
◽
pp. 198-203
◽
Keyword(s):
2021 ◽
Vol 263
(4)
◽
pp. 2654-2664