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

DOI10.4204/EPTCS.153MaRDI QIDQ5118975zbMATH OpenOpenAlexFDO

Authors

Publication date 2 September 2020

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

Full work available at URL https://arxiv.org/abs/1406.1534, http://eptcs.web.cse.unsw.edu.au/content.cgi?MSFP2014

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)

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.

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

Cited in

(7)

• Structured function systems and applications. Abstracts from the workshop held February 24 -- March 2, 2013.
• Proceedings of the tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11--12, 2015
• Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
• 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 Fourth Workshop on Mathematically Structured Functional Programming
• Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020

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)