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