Termination analysis for oine partial evaluation of a higher order functional language (1996)

by P H Andersen, C K Holst
Venue:Static Analysis, volume 1145 of Lecture Notes in Computer Science