K.Asai,A.Yonezawa: "Partial evalution of call-by-value λ-calculus with side-effects" Partial Evalution and Semantics Proguram. (発表予定). (1997)
K.Asai,A.Yonezawa: "Partial evalution of call-by-value λ-calculus with side-effects" Partial Evalution and Semantics Proguram. (発表予定). (1997)
复制标题
K.Asai、A.Yonezawa：“带有副作用的按值调用 λ 演算的部分评估”部分评估和语义程序（即将提交）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
