Type-Directed Partial Evaluation

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

    Abstract

    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
    IssueLS-98-3
    Publication statusPublished - 1998

    Fingerprint

    Dive into the research topics of 'Type-Directed Partial Evaluation'. Together they form a unique fingerprint.

    Cite this