Peter Holst Andersen. Termination analysis for offline partial evaluation of a higher order functional language. PhD thesis, University of Copenhagen, Denmark, 1999.
@phdthesis{books-daglib-0001590,
title = {Termination analysis for offline partial evaluation of a higher order functional language},
author = {Peter Holst Andersen},
year = {1999},
researchr = {https://researchr.org/publication/books-daglib-0001590},
cites = {0},
citedby = {0},
school = {University of Copenhagen, Denmark},
}