Proceedings of the 7th Workshop on Mathematically Structured Functional Programming

07/10/2018
by   Robert Atkey, et al.
0

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. The seventh workshop on Mathematically Structured Functional Programming was held on 8th July 2018 affiliated with FSCD 2018 as part of FLoC 2018 in Oxford, UK. There were two invited talks. In addition four full papers and two extended abstracts were selected by the programme committee for presentation.

READ FULL TEXT
research
06/20/2022

Proceedings Ninth Workshop on Mathematically Structured Functional Programming

This volume contains the proceedings of the Ninth Workshop on Mathematic...
research
01/17/2021

Proceedings of the 2020 Scheme and Functional Programming Workshop

This report aggregates the papers presented at the twenty-first annual S...
research
04/30/2020

Proceedings Eighth Workshop on Mathematically Structured Functional Programming

This volume contains the proceedings of the Eighth Workshop on Mathemati...
research
09/02/2020

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)

This volume constitutes the pre-proceedings of the 28th International Wo...
research
09/27/2013

Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation

The Wivace 2013 Electronic Proceedings in Theoretical Computer Science (...
research
01/17/2020

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems

This EPTCS volume contains the proceedings of the 16th Workshop on Quant...
research
12/22/2017

Proceedings Third Workshop on Graphs as Models

Graphs are used as models in many areas of computer science and computer...

Please sign up or login with your details

Forgot password? Click here to reset