Hostname: page-component-7f64f4797f-8cpv7 Total loading time: 0 Render date: 2025-11-04T23:20:06.328Z Has data issue: false hasContentIssue false
  • English
  • Français

JFP special issue on program calculation

Part of: Program Calculation

Published online by Cambridge University Press:  03 November 2025

GRAHAM HUTTON Open the ORCID record for GRAHAM HUTTON [Opens in a new window]  and
NICOLAS WU Open the ORCID record for NICOLAS WU [Opens in a new window]
GRAHAM HUTTON
Affiliation:
University of Nottingham, Nottingham NG7 2RD, UK (e-mail: graham.hutton@nottingham.ac.uk)
NICOLAS WU
Affiliation:
Imperial College London, London SW7 2AZ, UK (e-mail: n.wu@imperial.ac.uk)
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

Information

Type
Editorial
Information
Journal of Functional Programming , Volume 35 , 2025 , e24
Check for updates
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.
Copyright
© The Author(s), 2025. Published by Cambridge University Press

The idea of program calculation, in which programs are derived from specifications using equational reasoning, has been a central theme in functional programming since its inception. In particular, the approach allows us to systematically discover how programs can be defined, while at the same time obtaining proofs that they are correct.

This special issue showcases recent advances in the field of program calculation. We are pleased to present eleven papers covering a diverse range of topics, including algorithm design, computational effects, graphical methods, relational reasoning, compiler calculation, and co-induction. These contributions reflect the depth and breadth of contemporary research in the field.

We dedicate the special issue to the memory of Richard Bird, the ultimate program calculator. His commitment to clarity, simplicity, and elegance set a standard that continues to inspire all who had the pleasure of reading his papers and hearing his talks.

Submit a response

Discussions

No Discussions have been published for this article.