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

by Peter Holst Andersen, Carsten Kehler Holst
Venue:In Static Analysis, Proceedings of the Third International Symposium, SAS '96