Subtyping

Subtyping is a type system relation in which a type is considered a subtype of another if it can be safely used in all contexts where the latter is expected, thereby enabling polymorphic behavior through implicit substitutability.

693

Publications

39.6K

Citations

3.9K

Authors

1.3K

Institutions

Publications per year

2017–2026

137

Authors

3.9K

  1. GC
    Giuseppe Castagna

    Centre National de la Recherche Scientifique, France

    13 publications · 731 citations

    12

    h-index

  2. LC
    Luca Cardelli

    Microsoft Research (United Kingdom), United Kingdom

    10 publications · 1K citations

    10

    h-index

  3. GT
    Gary T. Leavens

    Iowa State University, United States

    8 publications · 399 citations

    8

    h-index

  4. NY
    Nobuko Yoshida

    Imperial College London, United Kingdom

    8 publications · 245 citations

    8

    h-index

  5. BC
    Benjamin C. Pierce

    University of Pennsylvania, United States

    7 publications · 273 citations

    7

    h-index

1–5 of 3.9K

Venues

  1. Journal of Clinical Microbiology

    JCM · 48 publications · 3.7K citations

    31

    h-index

  2. AIDS Research and Human Retroviruses

    15 publications · 444 citations

    13

    h-index

  3. PubMed

    Repository · 14 publications · 748 citations

    12

    h-index

  4. ACM SIGPLAN Notices

    15 publications · 408 citations

    12

    h-index

  5. Emerging infectious diseases

    EID · 11 publications · 1.2K citations

    11

    h-index

1–5