Garby, Z., Hutton, G., & Bahr, P. (2024, September). Calculating Compilers Effectively. Presented at ACM SIGPLAN Haskell Symposium 2024, Milan, Italy