MSFP 2018 - Seventh Workshop on Mathematically Structured Functional Programming (MSFP 2018)

MSFP 2018 will be held on Sunday 8th July 2018. This time around, we're delighted to be affiliated with FSCD 2018 as part of the Federated Logic Conference (FLoC) in Oxford, UK.
Call for Papers
Submissions are welcomed on, but by no means restricted to, topics such as:
structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data
Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors.
We will post more information about submission format and dates nearer the time of the workshop.