msfp-workshop.github.io - Mathematically Structured Functional Programming

Example domain paragraphs

Functionality from Structure

The workshop series 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

The ninth MSFP Workshop will be held on Saturday 2nd April 2022 in affiliation with ETAPS 2022 in Munich, Germany.

Links to msfp-workshop.github.io (3)

zenzike.com Home
cwjnkins.github.io Christa Jenkins
anuyts.github.io Andreas Nuyts