Dear all, The fifth workshop on Mathematically Structured Functional Programming http://www.cs.bham.ac.uk/~pbl/msfp2014/ takes place on Saturday 12 April in Grenoble,France, as part of ETAPS. Please register through ETAPS: http://www.etaps.org/2014/ The early registration rate ends on Friday 14 February. INVITED SPEAKERS Bob Atkey. Applications of Relational Parametricity beyond Type Abstraction Shin-ya Katsumata, Kyoto University. Logical Relations for Monads by Categorical TT-Lifting ACCEPTED PAPERS Monad transformers for backtracking search (Jules Hedges) Free Applicative Functors (Paolo Capriotti and Ambrus Kaposi) Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion (Wolfgang Jeltsch) Foundations of Total Functional Data-Flow Programming (Baltasar Tranc?n Y Widemann and Markus Lepper) Coherence for skew-monoidal categories (Tarmo Uustalu) Polymonadic Programming (Michael Hicks, Gavin Bierman, Nataliya Guts, Daan Leijen and Nikhil Swamy) Normalization by Evaluation in the Delay Monad (Andreas Abel and James Chapman) Koka: Programming with Row-polymorphic Effect Types (Daan Leijen) MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING The fifth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. Best regards, Neelakantan Krishnaswami and Paul Blain Levy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]