Concepedia

Type Reconstruction

Type Reconstruction is the algorithmic process within type checking that infers the most general type of an expression or term in a programming language without explicit type annotations, distinguishing itself from type equivalence or subtyping relations by its focus on automated deduction of implicit type information.

87

Publications

3.6K

Citations

161

Authors

89

Institutions

Publications per year

2017–2026

12

Parents

Publications

87

Automatic synthesis of typed Λ-programs on term algebras

Corrado Böhm, Alessandro Berarducci · Theoretical Computer Science · 1985 · 230 citations

, , +15

TIE: Principled Reverse Engineering of Types in Binary Programs

JongHyup Lee, Thanassis Avgerinos, David Brumley · Figshare · 2018 · 169 citations · Full text

, , +16

Putting type annotations to work

Martin Odersky, Konstantin Läufer · 1996 · 165 citations · Full text

, , +16

Enabling static analysis for partial java programs

Barthélémy Dagenais, Laurie Hendren · 2008 · 143 citations

, , +13

Algebraic reconstruction of types and effects

Pierre Jouvelot, David K. Gifford · 1991 · 143 citations · Full text

, , +12

1–5 of 87

Authors

161

  1. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    6 publications · 129 citations

    6

    h-index

  2. GC
    Giuseppe Castagna

    Centre National de la Recherche Scientifique, France

    5 publications · 159 citations

    5

    h-index

  3. NK
    Naoki Kobayashi

    The University of Tokyo, Japan

    4 publications · 162 citations

    4

    h-index

  4. AV
    A. V. Chernov

    Lomonosov Moscow State University, Russia

    3 publications · 63 citations

    3

    h-index

  5. AF
    Alain Frisch

    Centre National de la Recherche Scientifique, France

    3 publications · 91 citations

    3

    h-index

1–5 of 161

Institutions

89

  1. Carnegie Mellon University

    Pittsburgh, United States

    10 h-index

    21 publications

    858 citations

  2. The University of Tokyo

    Tokyo, Japan

    4 h-index

    5 publications

    163 citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    8 publications

    278 citations

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    4 publications

    121 citations

  5. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    6 publications

    379 citations

  6. Institute for System Programming

    Moscow, Russia

    3 h-index

    4 publications

    81 citations

  7. Lomonosov Moscow State University

    Moscow, Russia

    3 h-index

    4 publications

    88 citations

  8. Université Paris Cité

    Paris, France

    3 h-index

    6 publications

    107 citations

1–8 of 89

Venues

  1. Journal of Functional Programming

    4 publications · 143 citations

    4

    h-index

  2. ACM SIGPLAN Notices

    4 publications · 75 citations

    4

    h-index

  3. 3

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 41 citations

    3

    h-index

  5. Information and Computation

    3 publications · 89 citations

    3

    h-index

1–5