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.

@article{paperbot3329,
  title = {JFP special issue on program calculation},
  author = {GRAHAM HUTTON and NICOLAS WU},
  journal = {Journal of Functional Programming},
  volume = {35},
  year = {2025},
  doi = {10.1017/s0956796825100129}
}