1. Calculating correct compilers
2. Utpal K. Banerjee. 1993. Loop Transformations for Restructuring Compilers: The Foundations. Kluwer Academic Publishers, USA.
3. Edwin Brady. 2017. Type-driven development with Idris. Simon and Schuster, New York, NY.
4. Chips and Cheese. 2023. Microbenchmarks. https://github.com/ChipsandCheese/Microbenchmarks. commit 8e6c6bf09de5415bbaf8fa941375e05e5718e249.
5. An algorithm for reduction of operator strength