List of #Supercompilation Resources and Papers:
https://github.com/etiams/supercompilation-resources
"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."