Peter Holst Andersen. Termination analysis for offline partial evaluation of a higher order functional language. PhD thesis, University of Copenhagen, Denmark, 1999.
No references recorded for this publication.
No citations of this publication recorded.