Concepedia

Constraint-based Type Checking

Constraint-Based Type Checking is a type checking method that formulates type constraints from program expressions and resolves them through a constraint-solving process to infer or verify types.

66

Publications

4K

Citations

126

Authors

69

Institutions

Publications per year

2017–2026

5

Parents

Publications

66

1–5 of 66

Authors

126

  1. FP
    François Pottier

    Institut national de recherche en sciences et technologies du numérique, France

    8 publications · 331 citations

    8

    h-index

  2. TT
    Tachio Terauchi

    Tohoku University, Japan

    7 publications · 597 citations

    7

    h-index

  3. JS
    Jeffrey S. Foster

    University of Maryland, College Park, United States

    7 publications · 911 citations

    7

    h-index

  4. AA
    Alex Aiken

    Stanford University, United States

    7 publications · 812 citations

    7

    h-index

  5. MS
    Martin Sulzmann

    National University of Singapore, Singapore

    7 publications · 339 citations

    7

    h-index

1–5 of 126

Institutions

69

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

    Le Chesnay-Rocquencourt, France

    8 h-index

    10 publications

    418 citations

  2. University of California, Berkeley

    Berkeley, United States

    6 h-index

    19 publications

    3K citations

  3. National University of Singapore

    Singapore, Singapore

    4 h-index

    8 publications

    175 citations

  4. The University of Melbourne

    Melbourne, Australia

    3 h-index

    5 publications

    266 citations

  5. Victoria University of Wellington

    Wellington, New Zealand

    3 h-index

    5 publications

    233 citations

  6. The University of Tokyo

    Tokyo, Japan

    2 h-index

    2 publications

    67 citations

  7. The University of Texas at Austin

    Austin, United States

    2 h-index

    6 publications

    312 citations

  8. Heriot-Watt University Malaysia

    Putrajaya, Malaysia

    2 h-index

    4 publications

    57 citations

1–8 of 69

Venues

  1. ACM SIGPLAN Notices

    6 publications · 151 citations

    6

    h-index

  2. 3

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 24 citations

    2

    h-index

  4. Journal of Functional Programming

    2 publications · 154 citations

    2

    h-index

  5. OpenGrey (Institut de l'Information Scientifique et Technique)

    Repository · 1 publications · 12 citations

    1

    h-index

1–5