Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker
Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker
复制标题
使用现有类型检查器进行反事实类型错误消息的类型调试
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Joanna Sharrad
中科院分区：
文献类型：
--
作者：
Kanae Tsushima;Olaf Chitil;Joanna Sharrad
登录
查看更多内容
无约束类型错误切片
DOI：
--
发表时间：
2011
期刊：
Symposium on Trends in Functional Programming
影响因子：
--
作者：
Thomas Schilling
通讯作者：
Thomas Schilling
Helium 的参数类型推断
DOI：
--
发表时间：
2002
期刊：
--
影响因子：
--
作者：
B. Heeren;Jurriaan Hage
通讯作者：
Jurriaan Hage
查找类型错误的根源
DOI：
10.1145/512644.512648
发表时间：
1986
期刊：
ACM Computing Surveys (CSUR)
影响因子：
--
作者：
M. Wand
通讯作者：
M. Wand
隐式类型高阶语言中的类型错误切片
影响因子：
1.3
作者：
C. Haack;J. Wells
通讯作者：
J. Wells
搜索类型错误消息
DOI：
--
发表时间：
2007
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
Benjamin S. Lerner;M. Flower;D. Grossman;C. Chambers
通讯作者：
C. Chambers