Concepedia

Parametricity

Parametricity is a formal property in type theory and programming languages that characterizes the uniform behavior of polymorphic functions across all types, ensuring that a function's implementation depends solely on its type structure rather than on specific type instantiations.

125

Publications

5.4K

Citations

170

Authors

104

Institutions

Publications per year

2017–2026

21

Parents

Publications

125

On the completeness and constructiveness of parametric characterizations to vector optimization problems

Andrzej P. Wierzbicki · OR Spectrum · 1986 · 503 citations

, , +12

Parameterized types for Java

Joseph A. Bank, Andrew C. Myers, Barbara Liskov · 1997 · 251 citations

, , +16

Parametric or Non-parametric: Skewness to Test Normality for Mean Comparison

Fatih Orçan · International Journal of Assessment Tools in Education · 2020 · 222 citations · Full text

, , +11

An Extension of System F with Subtyping

Luca Cardelli, Simone Martini, John C. Mitchell et al. · Information and Computation · 1994 · 192 citations · Full text

, , +16

State-dependent representation independence

Amal Ahmed, Derek Dreyer, Andreas Rossberg · 2009 · 181 citations

, , +13

1–5 of 125

Authors

170

  1. PJ
    Patricia Johann

    Rutgers, The State University of New Jersey, United States

    8 publications · 242 citations

    8

    h-index

  2. JV
    Janis Voigtländer

    Technische Universität Dresden, Germany

    8 publications · 283 citations

    8

    h-index

  3. AA
    Amal Ahmed

    Northeastern University, United States

    7 publications · 500 citations

    7

    h-index

  4. SZ
    Steve Zdancewic

    University of Pennsylvania, United States

    5 publications · 194 citations

    5

    h-index

  5. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    5 publications · 308 citations

    5

    h-index

1–5 of 170

Institutions

104

  1. University of Pennsylvania

    Philadelphia, United States

    11 h-index

    23 publications

    671 citations

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

    Le Chesnay-Rocquencourt, France

    7 h-index

    11 publications

    274 citations

  3. University of Edinburgh

    Edinburgh, United Kingdom

    7 h-index

    8 publications

    351 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    7 h-index

    10 publications

    213 citations

  5. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    6 h-index

    13 publications

    692 citations

  6. Technische Universität Dresden

    Dresden, Germany

    6 h-index

    6 publications

    215 citations

  7. California University of Pennsylvania

    California, United States

    6 h-index

    12 publications

    383 citations

  8. Kyoto University

    Kyoto, Japan

    5 h-index

    6 publications

    131 citations

1–8 of 104

Venues

  1. ACM SIGPLAN Notices

    10 publications · 311 citations

    10

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 9 publications · 284 citations

    9

    h-index

  3. Journal of Functional Programming

    5 publications · 186 citations

    5

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 153 citations

    5

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 4 publications · 87 citations

    4

    h-index

1–5