Aarhus University Seal

Type-Directed Partial Evaluation

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  • Department of Computer Science
Type-directed partial evaluation uses a normalization function to achieve partial evaluation. These lecture notes review its background, foundations, practice, and applications. Of specific interest is the modular technique of offline and online type-directed partial evaluation in Standard ML of New Jersey.
Original languageEnglish
JournalBRICS Lecture Series
Publication statusPublished - 1998

Bibliographical note

Extended version

See relations at Aarhus University Citationformats

ID: 36234248