https://bookem.ir/books/2840013-The-Optimal-Implementation-of-Functional-Programming-Languages