Title: Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming