Peter Holst Andersen

According to our database¹, Peter Holst Andersen authored at least 2 papers between 1996 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

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

[BibT_eX]

PhD thesis, 1999

1996

Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996