Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018

DOI10.4204/EPTCS.275MaRDI QIDQ5118978zbMATH OpenFDO

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/1807.03732, http://eptcs.web.cse.unsw.edu.au/content.cgi?MSFP2018

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)

Recommendations

• 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 Fourth Workshop on Mathematically Structured Functional Programming
• Proceedings of the twelfth workshop on developments in computational models and ninth workshop on intersection types and related systems, DCM 2018 and ITRS 2018, Oxford, UK, July 8, 2018

Cited in

(4)

• 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 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 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018

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