Citations:supercompilation


 * 2020 Peter A. Jonsson, Johan Nordlander, "Positive Supercompilation for a Higher-Order Call-By-Value Language" arXiv
 * Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs.