A Functional Abstraction of Typed Invocation Contexts
A Functional Abstraction of Typed Invocation Contexts
复制标题
类型化调用上下文的功能抽象
DOI:
10.46298/lmcs-18
复制
发表时间:
2022
影响因子:
0.6
通讯作者:
Asai Kenichi
中科院分区:
文献类型:
--
作者:
Cong Youyou;Ishio Chiaki;Honda Kaho;Asai Kenichi