4 citations · 4 across the 1 of their papers we have counts for
1 paper
Peter A. Jonsson, Johan Nordlander
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, and…