摘要：提出了两种在Haskell中防止共享的操作，它们不需要修改数据生成的代码，并展示了它们的使用和有效性，并与其他防止共享的方法进行了比较。我们的主张得到了正式语义和原型实现的支持。
作者：Joachim Breitner
论文ID：1207.2017
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-07-10
PDF 下载： 英文版 中文版pdf翻译中