格雷厄姆·赫顿。函数编程杂志,12(6):609-616,剑桥大学出版社,2002年11月。
我们系统地开发了一个函数程序,用于解决倒计时问题,一种数字游戏,其中目的是构造满足以下条件的算术表达式某些约束。从正式开始我们提出了一个简单但效率低的程序这解决了问题,并证明了该程序的正确性。然后我们使用程序融合计算等效但更有效的程序,然后通过利用算术特性进一步改进。
新闻稿;
谈话幻灯片(幻灯片演示文件,波浪);
Haskell源代码;
带有定时信息的版本;
视频讲座(微软系列客座演讲Haskell编程).
许多国家和地方报纸都提到了这项工作,包括《泰晤士报》、《泰晤士高等教育增刊》、《伦敦晚报》、《诺丁汉晚报》和诺丁汉大学杂志。