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

Peter Holst Andersen, Carsten Kehler Holst

Browse the full SAS paper archive.