Proceedings Fourth Workshop on Mathematically Structured Functional Programming

DOI10.4204/EPTCS.76MaRDI QIDQ5117666zbMATH OpenOpenAlexFDO

Authors

Publication date 26 August 2020

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

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

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 Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 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. The workshop consists of two invited presentations and eight contributed papers on a range of topics at that interface.

Recommendations

• Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014
• Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008
• Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016
• Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020
• scientific article; zbMATH DE number 7741009
• Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018
• Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
• Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
• Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
• Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Cited in

(9)

• Commercial users of functional programming workshop report
• Structured function systems and applications. Abstracts from the workshop held February 24 -- March 2, 2013.
• Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings of the 8th workshop on fixed points in computer science, Tallinn, Estonia, March 24, 2012
• Proceedings of the eighth workshop on mathematically structured functional programming, MSFP 2020, Dublin, Ireland, April 25, 2020
• Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014
• 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
• From the editors

This page was built for publication: Proceedings Fourth Workshop on Mathematically Structured Functional Programming

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