Defunctionalization at Work

Olivier Danvy, L.R. Nielsen

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

    Abstract

    Reynolds's defunctionalization technique is a whole-program transformation from higher-order to first-order functional programs. We study practical applications of this transformation and uncover new connections between seemingly unrelated higher-order and first-order specifications and between their correctness proofs. Defunctionalization therefore appearsboth as a springboard for rev ealing new connections and as a bridge for transferring existing results between the first-order world and the higher-order world.
    Original languageEnglish
    Title of host publicationroceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
    Number of pages13
    PublisherAssociation for Computing Machinery
    Publication date2001
    Pages162-174
    DOIs
    Publication statusPublished - 2001
    Event3rd ACM SIGPLAN international conference on Principles and practice of declarative programming. PPDP '01 - Firenze, Italy
    Duration: 5 Sept 20017 Sept 2001

    Conference

    Conference3rd ACM SIGPLAN international conference on Principles and practice of declarative programming. PPDP '01
    Country/TerritoryItaly
    CityFirenze
    Period05/09/200107/09/2001

    Fingerprint

    Dive into the research topics of 'Defunctionalization at Work'. Together they form a unique fingerprint.

    Cite this