A Common Framework Using Expected Types for Several Type Debugging Approaches
A Common Framework Using Expected Types for Several Type Debugging Approaches
复制标题
使用预期类型进行多种类型调试方法的通用框架
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Olaf Chitil
中科院分区：
文献类型：
--
作者：
Kanae Tsushima;Olaf Chitil
登录
查看更多内容
无约束类型错误切片
DOI：
--
发表时间：
2011
期刊：
Symposium on Trends in Functional Programming
影响因子：
--
作者：
Thomas Schilling
通讯作者：
Thomas Schilling
判别和类型定位类型错误的来源
影响因子：
2.6
作者：
Matthias Neubauer;Peter Thiemann
通讯作者：
Peter Thiemann
隐式类型高阶语言中的类型错误切片
影响因子：
1.3
作者：
C. Haack;J. Wells
通讯作者：
J. Wells
Skalpel：标准 ML 的基于约束的类型错误切片器
DOI：
10.1016/j.jsc.2016.07.013
发表时间：
2017
期刊：
J. Symb. Comput.
影响因子：
--
作者：
Vincent Rahli;J. Wells;John Pirie;Fairouz Kamareddine
通讯作者：
Fairouz Kamareddine
用于调试类型错误的反事实类型
DOI：
--
发表时间：
2014
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Sheng Chen;Martin Erwig
通讯作者：
Martin Erwig