Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016

Bob Atkey (Editor), Neelakantan R. Krishnaswami (Editor)

Research output: Book/ReportAnthology

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.
Original languageEnglish
Number of pages98
Volume207
DOIs
Publication statusPublished - 1 Apr 2016

Publication series

NameEPTCS

Keywords

  • mathematically structured functional programming

Fingerprint Dive into the research topics of 'Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016'. Together they form a unique fingerprint.

Cite this