CARVIEW

MOTORHOMES

Select Language

HTTP/2 301 server: GitHub.com content-type: text/html location: https://msfp-workshop.github.io/msfp2018/ access-control-allow-origin: * strict-transport-security: max-age=31556952 expires: Fri, 16 Jan 2026 18:46:00 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 897A:370DC9:825DC:925A7:696A850F accept-ranges: bytes age: 0 date: Fri, 16 Jan 2026 18:36:00 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210080-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1768588561.752182,VS0,VE240 vary: Accept-Encoding x-fastly-request-id: b2d3f583339a140aa79823e6630cf59cf3114f9a content-length: 162 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Sun, 19 Jan 2025 09:55:58 GMT access-control-allow-origin: * strict-transport-security: max-age=31556952 etag: W/"678ccc2e-26f9" expires: Fri, 16 Jan 2026 18:46:01 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: 69F1:25AD8:7DFAC:8DFAA:696A8510 accept-ranges: bytes age: 0 date: Fri, 16 Jan 2026 18:36:01 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210080-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1768588561.006037,VS0,VE282 vary: Accept-Encoding x-fastly-request-id: 05791fd02ab702e1554a73fed78c3b9da078b202 content-length: 3985 Mathematically Structured Functional Programming 2018

Seventh Workshop on Mathematically Structured Functional Programming (MSFP 2018)

Functionality from Structure

Introduction

The seventh 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.

Proceedings

The proceedings have now been published as EPTCS Volume 275

Where and When?

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.

Invited Speakers

Tamara von Glehn, University of Cambridge, UK
Didier Remy, Inria, France.

Programme

See also the FLoC "smart program" https://easychair.org/smart-program/FLoC2018/MSFP-program.html for abstracts.

09:00 Invited speaker: Tamara von Glehn
Polynomial models of type theory
10:00 Maaike Zwart and Dan Marsden
Some No-Go Theorems for Distributive Laws (extended abstract)

10:30 Coffee

11:00 Jeremy Pope
Formalizing Constructive Quantifier Elimination in Agda
11:45 Exequiel Rivas
Relating Idioms, Arrows and Monads from Monoidal Adjunctions

12:30 Lunch

14:00 Invited Speaker: Didier Remy
Ornamentation put into practice in ML
15:00 Jeremy Gibbons and Guillaume Boisseau
Profunctor Optics and the Yoneda Lemma

15:30 Coffee

16:00 Jules Hedges
Backward induction for repeated games
16:45 Conor McBride
Everybody's Got To Be Somewhere

Call for Papers (Expired)

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

Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop.

New this time We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers.

Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors.

The proceedings will be published under the auspices of EPTCS with a Creative Commons license. Papers must be prepared in LaTeX using the EPTCS macro package.

We are using EasyChair to manage submissions. To submit a paper, use this link https://easychair.org/conferences/?conf=msfp2018.

Important Dates

Abstract deadline: 5th April (Thursday)
Paper deadline: 12th April (Thursday)
Notification: 17th May (Thursday)
Final version: 14th June (Thursday)
Workshop: 8th July (Sunday)

Programme Committee

Andreas Abel - Chalmers, Sweden
Danel Ahman - INRIA Paris, France
Robert Atkey - University of Strathclyde, UK (co-chair)
Jeremy Gibbons - University of Oxford, UK
Jennifer Hackett - University of Nottingham, UK
Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina
Shin-ya Katsumata - National Institute of Informatics, Japan
Sam Lindley - University of Edinburgh, UK (co-chair)
Clare Martin - Oxford Brookes University, UK
Shin-Cheng Mu - Academia Sinica, Taiwan
Valeria de Paiva - Nuance Communications, US
Alexandra Silva - University College London, UK

Previous MSFP Workshops

MSFP 2006

The inaugural MSFP Workshop was held in July 2006, in Kuressaare, Estonia, a fine curtain-raiser for MPC and AMAST. It was organized by Conor McBride and Tarmo Uustalu, and featured invited talks from John Power and Andrzej Filinski. The proceedings were published in the British Computer Society's "Electronic Workshops in Computing" Series, available here.

Revised selected papers (with a full re-refereeing process) appeared as a special issue of the Journal of Functional Programming Volume 19 Issue 3-4.

MSFP 2008

The second MSFP Workshop was held in July 2008, at Reykjavik University, Iceland as part of ICALP 2008. It was organized by Conor McBride and Venanzio Capretta, and featured invited talks from Andrej Bauer and Dan Piponi. The proceedings were published in Electronic Notes in Theoretical Computer Science, v. 229, n. 5, available here.

MSFP 2010

The third MSFP Workshop was held in September 2010, in Baltimore, Maryland, before ICFP 2010. It was organized by Venanzio Capretta and James Chapman, and featured invited talks from Martín Escardó and Amy Felty. The proceedings were published by ACM Press, available here.

MSFP 2012

The fourth MSFP Workshop was held in March 2012, in Tallinn, Estonia, before ETAPS 2012. It was organized by James Chapman and Paul Levy, and featured invited talks from Danko Ilik and Neil Ghani. The proceedings were published by EPTCS, available here.

MSFP 2014

The fifth MSFP Workshop was held in April 2014, in Grenoble, France, just after ETAPS 2014. It was organised by Neelakantan Krishnaswami and Paul Blain Levy, and featured invited talks from Robert Atkey and Shin-ya Katsumata. The proceedings were published by EPTCS, available here.

MSFP 2016

The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. It was organised by Robert Atkey and Neelakantan Krishnaswami, and featured an invited talk by Fredrik Nordvall Forsberg. The proceedings wer published by EPTCS available here.

Original Source | Taken Source