Extracting Environments from Function Closures
Extracting Environments from Function Closures
复制标题
从函数闭包中提取环境
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Yuta Takayanagi
中科院分区：
文献类型：
--
作者：
Shin-ya Nishizai;Yuta Takayanagi
登录
查看更多内容
DOI：
10.1007/978-3-642-53932-9_23
发表时间：
2013
期刊：
--
影响因子：
--
作者：
S. Nishizaki
通讯作者：
S. Nishizaki
DOI：
10.1023/a:1010010314528
发表时间：
2000
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
作者：
S. Nishizaki
通讯作者：
S. Nishizaki
具有一流延续和环境的非类型化值调用演算
DOI：
10.1142/9789813279674_0008
发表时间：
2018
期刊：
Theory and Practice of Computation
影响因子：
--
作者：
Yuta Aoyagi;S. Nishizaki
通讯作者：
S. Nishizaki
用于按值调用演算的简单类型系统，具有一流的延续和环境
DOI：
10.1201/9780429261350-13
发表时间：
2019
期刊：
Theory and Practice of Computation
影响因子：
--
作者：
S. Nishizaki
通讯作者：
S. Nishizaki
具有一流环境的简单类型 Lambda 演算
DOI：
10.2977/prims/1195164948
发表时间：
1994
影响因子：
1.2
作者：
S. Nishizaki
通讯作者：
S. Nishizaki