汤姆·施里杰弗斯;佩顿·琼斯，西蒙;马丁·苏尔兹曼;Vytiniotis，迪米特里奥斯 GADT的完整和可判定类型推断。 （英文） Zbl 1302.68190号 2009年8月31日至9月2日在英国爱丁堡举行的第14届ACM SIGPLAN功能编程国际会议记录，ICFP'09。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-332-7）。ACM SIGPLAN Notices 44，No.9，341-352（2009）。 引用于7文件 MSC公司： 第68季度第65季度 抽象数据类型；代数规范 68甲18 函数编程和lambda演算 关键词：GADTs公司;哈斯克尔;类型推断 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人，in：第14届ACM SIGPLAN函数式编程国际会议论文集，ICFP'09，英国爱丁堡，2009年8月31日至9月2日。纽约州纽约市：计算机协会（ACM）。341-352（2009年；兹比尔1302.68190） 全文： 内政部