Concepedia

Gradual Typing

Gradual Typing is a type system design that integrates static and dynamic typing within a single language by allowing type annotations to be optionally added, thereby enabling a smooth transition between statically and dynamically typed code.

73

Publications

2.8K

Citations

109

Authors

59

Institutions

Publications per year

2017–2026

31

Parents

Publications

73

Gradual typing for objects

2007 · 198 citations

, , +3

Refined Criteria for Gradual Typing

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 119 citations · Full text

, , +12

Abstracting gradual typing

Ronald Garcia, Alison M. Clark, Éric Tanter · 2016 · 104 citations

, , +12

Design and evaluation of gradual typing for python

Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek et al. · ACM SIGPLAN Notices · 2014 · 93 citations

, , +14

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman et al. · 2016 · 91 citations · Full text

, , +14

1–5 of 73

Authors

109

  1. JG
    Jeremy G. Siek

    Indiana University, United States

    16 publications · 874 citations

    16

    h-index

  2. ÉT
    Éric Tanter

    University of Chile, Chile

    11 publications · 441 citations

    11

    h-index

  3. BG
    Ben Greenman

    Northeastern University, United States

    9 publications · 238 citations

    9

    h-index

  4. RG
    Ronald Garcia

    University of British Columbia, Canada

    9 publications · 388 citations

    9

    h-index

  5. PW
    Philip Wadler

    University of Edinburgh, United Kingdom

    8 publications · 298 citations

    8

    h-index

1–5 of 109

Institutions

59

  1. University of Chile

    Santiago, Chile

    13 h-index

    25 publications

    869 citations

  2. Northeastern University

    Boston, United States

    12 h-index

    44 publications

    1.6K citations

  3. University of British Columbia

    Vancouver, Canada

    9 h-index

    13 publications

    501 citations

  4. Indiana University

    Bloomington, United States

    8 h-index

    18 publications

    643 citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    7 h-index

    9 publications

    303 citations

  6. Northwestern University

    Evanston, United States

    6 h-index

    10 publications

    304 citations

  7. Indiana University Bloomington

    Bloomington, United States

    6 h-index

    11 publications

    793 citations

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    6 publications

    186 citations

1–8 of 59

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 19 publications · 482 citations

    14

    h-index

  2. ACM SIGPLAN Notices

    6 publications · 258 citations

    6

    h-index

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

    Repository · 6 publications · 207 citations

    6

    h-index

  4. Journal of Functional Programming

    2 publications · 45 citations

    2

    h-index

  5. arXiv (Cornell University)

    Repository · 1 publications · 28 citations

    1

    h-index

1–5