Kmclib
Kmclib
复制标题
克姆库
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
DOI：
--
发表时间：
2004
期刊：
International Symposium on Functional and Logic Programming (FLOPS) Springer LNCS 2998
影响因子：
--
作者：
Jacques Garrigue;Keiko Nakata;Akira Ito;Jacques GARRIGUE
通讯作者：
Jacques GARRIGUE
DOI：
10.1145/1328438.1328472
发表时间：
2008-01
期刊：
--
影响因子：
--
作者：
Kohei Honda;N. Yoshida;Marco Carbone
通讯作者：
Kohei Honda;N. Yoshida;Marco Carbone
将并行性改造到 OCaml 上
DOI：
--
发表时间：
2020
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
K. Sivaramakrishnan;Stephen Dolan;Leo White;S. Jaffer;T. Kelly;Anmol Sahoo;S. Parimala;Atul Dhiman;Anil Madhavapeddy
通讯作者：
Anil Madhavapeddy
通过有界模型检查自动验证 Go 程序
DOI：
10.1109/ase51524.2021.9678571
发表时间：
2021
期刊：
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
影响因子：
--
作者：
Nicolas Dilley;J. Lange
通讯作者：
J. Lange
隔离 go：基于频道的节目的活跃度和安全性
DOI：
10.1145/3009837.3009847
发表时间：
2016
期刊：
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
影响因子：
--
作者：
J. Lange;Nicholas Ng;Bernardo Toninho;N. Yoshida
通讯作者：
N. Yoshida