利斯贝斯·德·莫尔；马丁·卡尔；马滕·布林克 哈斯克尔之前的哈斯克尔：ENIAC实用逻辑的另一堂课。 （英语） Zbl 1347.68004号 J.日志。计算。 25，第4期，1011-1046（2015）。 小结：本文详细介绍了Curry关于如何在ENIAC上实现逆插值问题的工作（1946年）以及他随后开发程序组合理论的工作（1988-1950年）。研究表明，柯里在ENIAC方面的亲身经历和他对形式逻辑系统的熟悉，有助于构思出紧凑的“程序构造符号”，这反过来又有助于程序的机械合成。由于Curry的系统编程技术对Goldstine-von Neumann编码风格提出了批评，因此他的“程序合成演算”不仅预测了自动编程，而且还提出了计算机历史在巴科斯著名的ACM图灵奖演讲（1977年）之前基本上未察觉到的显式硬件优化。这些发现的凝聚力要求采用综合历史学方法。附录首次完整描述了Curry的算术编译器。 引用于4文件 MSC公司： 68-03 计算机科学史 01A70号 传记、讣告、个人信息、参考书目 68甲18 函数编程和lambda演算 68N20型 编译与解释理论 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：埃尼亚克；Haskell B.咖喱；程序设计理论；组合逻辑；插值；算术编译器 传记参考： 哈斯克尔·柯里。 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{L.De Mol}等人，J.Log。计算。25，第4号，1011--1046（2015；Zbl 1347.68004） 全文： 内政部 哈尔