Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming