JFP special issue on program calculation. - HUTTON, GRAHAM; WU, NICOLAS (Journal of Functional Programming, 2025)