Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Workshop on Mathematically Structured Functional Programming (MSFP 2006)

    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.

    Full Synopsis - Editors - Sponsors - Papers