Concepedia

Defunctionalization

Defunctionalization is a program transformation technique in functional programming that eliminates higher-order functions by replacing them with first-order representations and an interpretive apply function, thereby enabling compilation or analysis through first-order means.

65

Publications

3.9K

Citations

193

Authors

79

Institutions

Publications per year

2017–2026

16

Parents

Publications

65

Oxygen Radical Functionalization of Boron Nitride Nanosheets

Toby Sainsbury, Amro Satti, Peter May et al. · Journal of the American Chemical Society · 2012 · 567 citations · Full text

, , +14

Soluble Dendron-Functionalized Carbon Nanotubes:  Preparation, Characterization, and Properties<sup>,</sup>

Ya‐Ping Sun, Weijie Huang, Yi Lin et al. · Chemistry of Materials · 2001 · 326 citations

, , +17

Defunctionalization at work

Olivier Danvy, Lasse R. Nielsen · 2001 · 189 citations

, , +11

Selective Reductive Removal of Ester and Amide Groups from Arenes and Heteroarenes through Nickel‐Catalyzed C−O and C−N Bond Activation

Huifeng Yue, Lin Guo, Shao‐Chi Lee et al. · Angewandte Chemie International Edition · 2017 · 157 citations

, , +13

A functional correspondence between evaluators and abstract machines

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · 2003 · 142 citations

, , +12

1–5 of 65

Authors

193

  1. OD
    Olivier Danvy

    Aarhus University, Denmark

    15 publications · 787 citations

    14

    h-index

  2. LR
    Lasse R. Nielsen

    Aarhus University, Denmark

    5 publications · 293 citations

    5

    h-index

  3. KM
    Kevin Millikin

    Aarhus University, Denmark

    4 publications · 85 citations

    4

    h-index

  4. YS
    Ya‐Ping Sun

    Clemson University, United States

    3 publications · 161 citations

    3

    h-index

  5. FH
    Frank Hauke

    Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany

    3 publications · 89 citations

    3

    h-index

1–5 of 193

Institutions

79

  1. Aarhus University

    Aarhus, Denmark

    11 h-index

    21 publications

    1.4K citations

  2. Clemson University

    Clemson, United States

    5 h-index

    36 publications

    4.2K citations

  3. National Research Foundation

    Pretoria, South Africa

    3 h-index

    6 publications

    590 citations

  4. Friedrich-Alexander-Universität Erlangen-Nürnberg

    Erlangen, Germany

    3 h-index

    14 publications

    428 citations

  5. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    3 h-index

    6 publications

    272 citations

  6. University of Science and Technology of China

    Hefei, China

    3 h-index

    5 publications

    161 citations

  7. RWTH Aachen University

    Aachen, Germany

    2 h-index

    10 publications

    970 citations

  8. Danish National Research Foundation

    Copenhagen, Denmark

    2 h-index

    5 publications

    574 citations

1–8 of 79

Venues

  1. BRICS Report Series

    9 publications · 347 citations

    9

    h-index

  2. Angewandte Chemie International Edition

    7 publications · 411 citations

    7

    h-index

  3. Journal of Functional Programming

    3 publications · 93 citations

    3

    h-index

  4. Angewandte Chemie

    3 publications · 77 citations

    3

    h-index

  5. ACS Catalysis

    2 publications · 173 citations

    2

    h-index

1–5