斯蒂芬妮·威里奇；贾斯汀·徐；理查德·艾森伯格。 具有显式种类相等的系统FC。 （英语） Zbl 1323.68194号 2013年9月25日至27日，第18届ACM SIGPLAN功能编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，275-286（2013）。 引用于5文件 MSC公司： 第68页第20页 编译与解释理论 03B70号 计算机科学中的逻辑 68甲18 函数编程和lambda演算 关键词：依赖类型；平等；哈斯克尔 软件：哈斯克尔；GHC公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Weirich}等人，in：第18届ACM SIGPLAN函数编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。275--286（2013年；Zbl 1323.68194） 全文： 内政部 链接