Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018
DOI10.4204/EPTCS.275zbMATH Open1446.68006arXiv1807.03732MaRDI QIDQ5118978FDOQ5118978
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
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
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 (1)
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)
