利斯贝斯·德·莫尔;马丁·卡尔;马滕·布林克 哈斯克尔之前的哈斯克尔：ENIAC实用逻辑的另一节课。 （英语） Zbl 1347.68004号 J.日志。计算。 25，第4期，1011-1046（2015）.MSC公司：68-03 01A70号 68甲18 68N20型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.De Mol}等人，J.Log。计算。25，第4号，1011--1046（2015；Zbl 1347.68004） 全文： 内政部 哈尔
利斯贝斯·德·莫尔;马滕·布林克;马丁·卡尔 哈斯克尔之前的哈斯克尔：库里对编程的贡献（1946-1950）。 （英语） Zbl 1290.68004号 Ferreira，Fernando（编辑）等人，《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议，CiE 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13961-1/pbk）。计算机科学课堂讲稿6158108-117（2010）。MSC公司：68-03 01A60型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.De Mol}等人，Lect。注释计算。科学。6158，108-117（2010；Zbl 1290.68004） 全文： 内政部 链接