Kenichi Asai: "Partial Evaluation of Call-by-value lambda-calculus with Side-effects" Partial Evaluation and Semantic-Based Program Manipulation (PEPM). (to appear). (1997)
Kenichi Asai: "Partial Evaluation of Call-by-value lambda-calculus with Side-effects" Partial Evaluation and Semantic-Based Program Manipulation (PEPM). (to appear). (1997)
复制标题
Kenichi Asai：“带有副作用的按值调用 lambda 演算的部分评估”部分评估和基于语义的程序操作 (PEPM)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
