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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.