Type-Directed Partial Evaluation

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

    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.
    OriginalsprogEngelsk
    TidsskriftBRICS Lecture Series
    NummerLS-98-3
    StatusUdgivet - 1998

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Type-Directed Partial Evaluation'. Sammen danner de et unikt fingeraftryk.

    Citationsformater