The Countdown Problem
Hutton, G. (2002). The Countdown Problem. Journal of Functional Programming, 12(6),
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constraints. Starting from a formal specification of the problem, we present... Read More about The Countdown Problem.