Do Machine Learning Models Produce TypeScript Types that Type Check?
Do Machine Learning Models Produce TypeScript Types that Type Check?
复制标题
机器学习模型是否会生成可进行类型检查的 TypeScript 类型？
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Arjun Guha
中科院分区：
文献类型：
--
作者：
Ming-Ho Yee;Arjun Guha
登录
查看更多内容
Elixir 的渐进类型系统
DOI：
10.1145/3427081.3427084
发表时间：
2020
期刊：
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity
影响因子：
--
作者：
Mauricio Cassola;Agustín Talagorria;Alberto Pardo;Marcos Viera
通讯作者：
Marcos Viera
渐进打字：新视角
影响因子：
--
作者：
Castagna, Giuseppe;Lanvin, Victor;Petrucciani, Tommaso;Siek, Jeremy G.
通讯作者：
Siek, Jeremy G.
用于 TypeScript 测试的类型测试脚本
DOI：
--
发表时间：
2017
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
E. Kristensen;Anders Møller
通讯作者：
Anders Møller
检查 JavaScript 库的 TypeScript 接口的正确性
DOI：
--
发表时间：
2014
期刊：
Conference on Object-Oriented Programming Systems, Languages, and Applications
影响因子：
--
作者：
Asger Feldthaus;Anders Møller
通讯作者：
Anders Møller
JSTrace：JavaScript 的运行时类型发现
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Claudiu Saftoiu
通讯作者：
Claudiu Saftoiu