A Formal Type System for Comparing Partial Evaluators

Flemming Nielson, D. Bjørner (Editor), N. D. Jones (Editor), A. P. Ershov (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. Partial Evaluation and Mixed Computation
    PublisherNorth-Holland
    Publication date1988
    Pages349-384
    Publication statusPublished - 1988
    EventProc. Partial Evaluation and Mixed Computation -
    Duration: 1 Jan 1988 → …

    Conference

    ConferenceProc. Partial Evaluation and Mixed Computation
    Period01/01/1988 → …

    Cite this