×
尼基·瓦祖;亚历山大·巴克斯特;兰吉特·贾拉

边界优化类型。 （英语） 兹比尔1360.68343

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。48-61（2015年）。

引用于1文件

MSC公司：

68甲18 函数编程和lambda演算
03B70号 计算机科学中的逻辑
68号30 软件工程的数学方面（规范、验证、度量、需求等）
第68页，共15页 数据库理论

关键词：

抽象解释;哈斯克尔;细化类型

软件：

哈斯克尔
PDF格式BibTeX公司 XML格式引用
\textit{N.Vazou}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。48-61（2015年；Zbl 1360.68343）
全文： 内政部 arXiv公司