Counter-Factual Type Error Messages with an Existing Type Checker
Counter-Factual Type Error Messages with an Existing Type Checker
复制标题
使用现有类型检查器的反事实类型错误消息
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Kanae Tsushima
中科院分区：
文献类型：
--
作者：
Kanae Tsushima;Kenichi Asai;Kanae Tsushima
登录
查看更多内容
无约束类型错误切片
DOI：
--
发表时间：
2011
期刊：
Symposium on Trends in Functional Programming
影响因子：
--
作者：
Thomas Schilling
通讯作者：
Thomas Schilling
使用 Blackbox 编译器进行 Delta 调试类型错误
DOI：
10.1145/3310232.3310243
发表时间：
2018
期刊：
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages
影响因子：
--
作者：
Joanna Sharrad;O. Chitil;M. Wang
通讯作者：
M. Wang
查找类型错误的根源
DOI：
10.1145/512644.512648
发表时间：
1986
期刊：
ACM Computing Surveys (CSUR)
影响因子：
--
作者：
M. Wand
通讯作者：
M. Wand
隐式类型高阶语言中的类型错误切片
影响因子：
1.3
作者：
C. Haack;J. Wells
通讯作者：
J. Wells
改进的类型错误报告
DOI：
--
发表时间：
2000
期刊：
--
影响因子：
--
作者：
Jinhai Yang;G. Michaelson;P. Trinder;J. Wells
通讯作者：
J. Wells