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.

Authors

Peter Holst Andersen

This author has not been identified. Look up 'Peter Holst Andersen' in Google