On Typing Delimited Continuations : Three New Solutions to the Printf Problem
On Typing Delimited Continuations : Three New Solutions to the Printf Problem
复制标题
关于输入定界延续：Printf 问题的三种新解决方案
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
浅井健一
中科院分区：
文献类型：
--
作者：
木谷有沙;浅井健一;J. Tarui;浅井健一
登录
查看更多内容
格式：集体表演
影响因子：
1.1
作者：
R. Hinze
通讯作者：
R. Hinze
代表单子
DOI：
10.1145/174675.178047
发表时间：
1994
期刊：
SSRN Electronic Journal
影响因子：
--
作者：
Andrzej Filinski
通讯作者：
Andrzej Filinski
抽象控制
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.1007/3-540-58027-1_31
发表时间：
1993
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
O. Danvy;J. Hatcliff
通讯作者：
J. Hatcliff
DOI：
10.1023/a:1010026413531
发表时间：
2000
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
作者：
C. Strachey;C. P. Wadsworth
通讯作者：
C. P. Wadsworth