Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014

DOI10.4204/EPTCS.153zbMATH Open1446.68015arXiv1406.1534OpenAlexW1966256736MaRDI QIDQ5118975FDOQ5118975

Authors:

Publication date: 2 September 2020

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. MSFP is devoted to the derivation of functionality from structure. It highlights concepts from algebra, semantics and type theory as they are increasingly reflected in programming practice, especially functional programming. As the range of papers presented in this year's workshop shows, this continues to be a fruitful interface.

Full work available at URL: https://arxiv.org/abs/1406.1534

Recommendations

• Proceedings Fourth Workshop on Mathematically Structured Functional Programming
• Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016
• Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018
• Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020
• Proceedings of the tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11--12, 2015

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Functional programming and lambda calculus (68N18)

Cited In (3)

• Proceedings Fourth Workshop on Mathematically Structured Functional Programming
• Structured function systems and applications. Abstracts from the workshop held February 24 -- March 2, 2013.
• Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

This page was built for publication: Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5118975)