Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language.

Peter Holst Andersen Carsten Kehler Holst Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. 67-82 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#AndersenH96