Proceedings 6th Workshop on Mathematically Structured Functional Programming

TL;DR

This workshop highlights the influence of mathematical structures in functional programming, showcasing recent research on how theoretical concepts underpin modern language features and abstractions.

Contribution

It presents recent research on mathematically structured functional programming, emphasizing the role of mathematical phenomena in data and control within programming languages.

Findings

Mathematical structures underpin modern functional language features

Research demonstrates the impact of theoretical CS on practical programming

Workshop showcases advances in mathematically structured programming

Abstract

The sixth 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. The sixth workshop on Mathematically Structured Functional Programming was held on 8th April 2016 as a part of ETAPS 2016 in Eindhoven, the Netherlands. There were five contributed talks and one invited talk.