Garby, Z., Hutton, G., & Bahr, P. (2024, September). Calculating Compilers Effectively (Functional Pearl). Presented at Haskell 2024: Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, Milan, Italy