Concepedia

Bidirectional Type Checking

Bidirectional Type Checking is a type checking method that partitions typing judgments into two modes—checking and synthesis—where the former verifies a term against a known type and the latter deduces a type for a term, enabling more precise and modular inference in dependent type systems.

14

Publications

442

Citations

20

Authors

13

Institutions

Publications per year

2017–2026

4

Parents

Publications

14

Complete and easy bidirectional typechecking for higher-rank polymorphism

Jana Dunfield, Neelakantan R. Krishnaswami · 2013 · 85 citations

, , +16

Tridirectional typechecking

Jana Dunfield, Frank Pfenning · 2004 · 84 citations · Full text

, , +14

Termination checking with types

Andreas Abel · RAIRO - Theoretical Informatics and Applications · 2004 · 58 citations · Full text

, , +13

Practical refinement-type checking

Rowan Davies, Frank Pfenning · 2005 · 44 citations

, , +12

Simplicitly: foundations and applications of implicit function types

Martin Odersky, Olivier Blanvillain, Fengyun Liu et al. · Proceedings of the ACM on Programming Languages · 2017 · 31 citations · Full text

, , +16

1–5 of 14

Authors

20

  1. JD
    Jana Dunfield

    Max Planck Institute for Software Systems, Germany

    4 publications · 195 citations

    4

    h-index

  2. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    3 publications · 142 citations

    3

    h-index

  3. AA
    Andreas Abel

    Ludwig-Maximilians-Universität München, Germany

    2 publications · 85 citations

    2

    h-index

  4. NR
    Neelakantan R. Krishnaswami

    Max Planck Institute for Software Systems, Germany

    2 publications · 96 citations

    2

    h-index

  5. WL
    William Lovas

    Carnegie Mellon University, United States

    1 publications · 14 citations

    1

    h-index

1–5 of 20

Institutions

13

  1. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    8 publications

    317 citations

  2. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    3 h-index

    5 publications

    204 citations

  3. McGill University

    Montreal, Canada

    2 h-index

    3 publications

    41 citations

  4. Chalmers University of Technology

    Gothenburg, Sweden

    2 h-index

    2 publications

    85 citations

  5. University of Gothenburg

    Gothenburg, Sweden

    1 h-index

    1 publications

    27 citations

  6. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    1 h-index

    1 publications

    12 citations

  7. University at Buffalo, State University of New York

    Buffalo, United States

    1 h-index

    2 publications

    24 citations

  8. Buffalo State University

    Buffalo, United States

    1 h-index

    2 publications

    24 citations

1–8 of 13

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 58 citations

    2

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 27 citations

    2

    h-index

  3. RAIRO - Theoretical Informatics and Applications

    ITA · 1 publications · 58 citations

    1

    h-index

  4. MPG.PuRe (Max Planck Society)

    Repository · 1 publications · 15 citations

    1

    h-index

  5. ACM SIGPLAN Notices

    1 publications · 11 citations

    1

    h-index

1–5