Workshop on Mathematically Structured Functional Programming, MSFP '06

Functionality from Structure!

Kuressaare, Estonia, 2 July 2006
a satellite workshop of MPC '06, a "small workshop" of the TYPES project

MPC/AMAST 2006 programme and local information

eWiC proceedings volume of MSFP 2006

JFP special issue for MSFP 2006

The next edition of MSFP will be held in conjunction with ICALP 2008
in Reykjavik, Iceland, 6 July 2008!


Something wonderful happened when monads arrived in Haskell: some human mathematics explaining the structure of certain computational phenomena became a mechanical means to implement those phenomena. It's a good way to go about functional programming - to dig out the mathematical structure underlying a problem and set it to work! There's more where monads came from, and we want it. This new workshop is about getting it.

In recent years, a diverse array of mathematical structures has appeared in our programs: monads dualise to comonads and generalise to Freyd categories aka 'arrows'; 'container' types have a generalised polynomial structure supporting generic programming, not to mention a differential calculus; isomorphisms from 'high school algebra' are used to search libraries and repair type errors; coalgebras give structure to recursion; the list goes on... MSFP is broad in scope, covering the extraction of functionality from structure wherever it can be found. It complements the remit of its host conference, Mathematics of Program Construction, by seeking to enrich the language and toolset available for specifications and programs alike. It is also a "small workshop" of the FP6 IST coordination action TYPES.

Invited speakers

Andrzej Filinski Københavns Universitet
John PowerUniversity of Edinburgh


Important dates



Submissions are welcome on, but by no means restricted to, topics from the following partially computed coinductive list:

Authors concerned about the suitability of a topic are very welcome to contact Conor McBride, ctm(at)

Submission and publication

Papers in pdf not exceeding 15 pages and adhering to the eWiC LaTeX 2e style must be submitted by 21 April 2006 (extended deadline).

Submission to MSFP 2006 is closed.

Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. PC members may submit. Accepted papers must be presented at the workshop by one of the authors.

The proceedings of MSFP 2006 will be published in the Electronic Workshops in Computing (eWiC) series of the British Computer Society.

After the workshop, the authors of the best papers will be invited to submit revised and expanded versions to a special issue of the Journal of Functional Programming from Cambridge University Press.


Programme committee

Yves Bertot INRIA Sophia Antipolis
Marcelo Fiore University of Cambridge
Masahito Hasegawa Kyoto University
Graham Hutton University of Nottingham
Paul Levy University of Birmingham
Andres Löh Universität Bonn
Christoph Lüth Universität Bremen
Conor McBride University of Nottingham (co-chair)
Marino Miculan Università degli Studi di Udine
Randy Pollack University of Edinburgh
Amr Sabry Indiana University
Tarmo Uustalu Institute of Cybernetics (co-chair)


Further programme information

Enquiries regarding the programme (submission etc.) can be sent to Conor McBride, ctm(at)


Local information

All local information, incl. information on registration and cost, information regarding the venue and information on the local organization, is on the joint MPC/AMAST '06 local information page.

Last changed November 5, 2010 18:07 EET by local organizers, mpc06(at)