Termination analysis for offline partial evaluation of a higher order functional language

Peter Holst Andersen. Termination analysis for offline partial evaluation of a higher order functional language. PhD thesis, University of Copenhagen, Denmark, 1999.

No reviews for this publication, yet.