Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language, DIKU-rapport 99/6

Research output: Book/Report › Report › Communication

  • Peter H. Andersen
Original languageEnglish
Place of PublicationDatalogisk Institut, Københavns Universitet
Number of pages76
Publication statusPublished - 1999

ID: 22413