Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. - Peter Holst Andersen; Carsten Kehler Holst (SAS, 1996)

Termination analysis for offline partial evaluation of a higher order functional language. - Peter Holst Andersen (1999)