Formalizing dynamic-wind in the lambda calculus
Formalizing dynamic-wind in the lambda calculus
复制标题
在 lambda 演算中形式化动态风
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Shin-ya Nishizaki
中科院分区：
文献类型：
--
作者：
Ryotaro Kasuga;Shin-ya Nishizaki
登录
查看更多内容
DOI：
10.1145/29873.30392
发表时间：
1987
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
C. T. Haynes;Daniel P. Friedman
通讯作者：
Daniel P. Friedman
如何在不混乱的情况下向顺序语言添加线程
DOI：
--
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Martin Gasbichler;Eric Knauel;Michael Sperber;R. Kelsey
通讯作者：
R. Kelsey
抽象控制
DOI：
10.1145/91556.91622
发表时间：
1990
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
O. Danvy;Andrzej Filinski
通讯作者：
Andrzej Filinski
具有延续和线性逻辑的程序
DOI：
10.1016/0167-6423(93)90005-a
发表时间：
1991
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
S. Nishizaki
通讯作者：
S. Nishizaki
DOI：
--
发表时间：
1991
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
P. Jouvelot;D. Gifford
通讯作者：
D. Gifford