约阿希姆·布雷特纳;理查德·艾森伯格。;西蒙·佩顿·琼斯;斯蒂芬妮·威里奇 Haskell的安全零成本胁迫。 （英语） Zbl 1420.68035号 J.功能。程序。 26，论文编号e15，79 p.（2016）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛J.Breitner｝等人，J.Funct。程序。26，论文编号e15，79 p.（2016；Zbl 1420.68035） 全文： 内政部
约阿希姆·布雷特纳;理查德·艾森伯格。;佩顿·琼斯，西蒙;斯蒂芬妮·威里奇 Haskell的安全零成本胁迫。 （英语） Zbl 1345.68038号 2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。189-202 (2014).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Breitner}等人，《第19届ACM SIGPLAN函数编程国际会议论文集》，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。189-202（2014；Zbl 1345.68038） 全文： 内政部 链接