Dear all,
We're delighted to announce that the JFP Special Issue on Program
Calculation is now complete, and contains eleven papers that are
freely available to read online from the link below.
Best wishes,
Graham Hutton and Nicolas Wu
Special-Issue Editors
====================================================================
JFP Special Issue on Program Calculation
https://tinyurl.com/JFP-prog-calc
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.
====================================================================
This message and any attachment are intended solely for the addressee and may
contain confidential information. If you have received this message in error,
please contact the sender and delete the email and attachment. Any views or
opinions expressed by the author of this email do not necessarily reflect the
views of the University of Nottingham. Email communications with the University
of Nottingham may be monitored where permitted by law.
_______________________________________________
Haskell mailing list -- [email protected]
To unsubscribe send an email to [email protected]
