Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008

MaRDI QIDQ392265zbMATH OpenFDO

Authors

Publication date 13 January 2014

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

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/229/5

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

(2)

• Proceedings Fourth Workshop on Mathematically Structured Functional Programming
• Structured function systems and applications. Abstracts from the workshop held February 24 -- March 2, 2013.

This page was built for publication: Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008

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