BCS is a registered charity: No 292786
Kuressaare, Estonia, 2 July 2006
This volume contains the proceedings of the inaugural Workshop on Mathematically Structured Functional Programming, MSFP 2006, held at Kuressaare, Estonia, 2 July 2006, as a satellite workshop of the 8th International Conference on Mathematics of Program Construction, MPC 2006, which followed 3-5 July.
The motivation for this new workshop was to promote the use of structures originating from mathematics or mathematical semantics in functional programming practice, via language/tool support or by direct expression in programs themselves.
It is good to give a mathematical analysis of computational phenomena, but the work we have collected here pushes the other way too, delivering functionality from structure.