Termination analysis and call graph construction for higher-order functional programs (2007)

by D Sereni
Venue:In: ICFP