塞巴斯蒂安·费舍尔;乔塞普·席尔瓦;萨尔瓦多塔马利特;德国维达尔 在惰性函数程序的部分求值中保留共享。 （英语） Zbl 1179.68036号 King，Andy（编辑），《基于逻辑的程序综合与转换》。2007年8月23日至24日，第17届国际研讨会，LOPSTR，丹麦康根斯·林比。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78768-6/pbk）。计算机科学课堂讲稿4915，74-89（2008）。MSC公司：68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛S.Fischer｝等人，Lect。注释计算。科学。4915、74-89（2008年；Zbl 1179.68036） 全文： 内政部
伯恩德·布拉埃尔;迈克尔·哈纳斯;塞巴斯蒂安·费舍尔;弗兰克，哈;德国维达尔 价值评估的懒惰调用。 （英语） Zbl 1291.68110号 2007年10月1日至3日在德国弗莱堡举行的第十二届ACM SIGPLAN功能编程国际会议记录，ICFP'07。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-815-2）。ACM SIGPLAN通知42，第9号，265-276（2007）。MSC公司：68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Braßel}等人，in：第十二届ACM SIGPLAN函数编程国际会议论文集，ICFP'07，德国弗莱堡，2007年10月1日至3日。纽约州纽约市：计算机机械协会（ACM）。265--276（2007年；Zbl 1291.68110） 全文： 内政部 链接