Concepedia

Higher-order Type Checking

Higher-Order Type Checking is a type-checking methodology that extends standard type systems by enabling types to be passed as arguments, returned as results, and abstracted over in functions, thereby supporting higher-order operations on types analogous to higher-order functions on values.

120

Publications

5.8K

Citations

186

Authors

101

Institutions

Publications per year

2017–2026

9

Parents

Publications

120

PolyP---a polytypic programming language extension

Patrik Jansson, Johan Jeuring · 1997 · 246 citations · Full text

, , +16

Extensionality of Ghost Dependent Types for Free

HAL (Le Centre pour la Communication Scientifique Directe) · 2023 · 162 citations · Full text

, , +14

A semantic model of types and machine instructions for proof-carrying code

Andrew W. Appel, Amy Felty · 2000 · 160 citations

, , +16

A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes

Naoki Kobayashi, C.-H. Luke Ong · 2009 · 158 citations

, , +13

Higher-order modules and the phase distinction

Robert Harper, John C. Mitchell, Eugenio Moggi · 1990 · 156 citations

, , +16

1–5 of 120

Authors

186

  1. NK
    Naoki Kobayashi

    The University of Tokyo, Japan

    15 publications · 975 citations

    14

    h-index

  2. HU
    Hiroshi Unno

    University of Tsukuba, Japan

    7 publications · 404 citations

    7

    h-index

  3. BC
    Benjamin C. Pierce

    University of Pennsylvania, United States

    5 publications · 162 citations

    5

    h-index

  4. JP
    Jens Palsberg

    University of California, Los Angeles, United States

    5 publications · 427 citations

    5

    h-index

  5. RJ
    Ranjit Jhala

    University of California San Diego, United States

    4 publications · 123 citations

    4

    h-index

1–5 of 186

Institutions

101

  1. Carnegie Mellon University

    Pittsburgh, United States

    9 h-index

    19 publications

    948 citations

  2. The University of Tokyo

    Tokyo, Japan

    7 h-index

    9 publications

    383 citations

  3. Tohoku University

    Sendai, Japan

    6 h-index

    14 publications

    1.2K citations

  4. University of Pennsylvania

    Philadelphia, United States

    6 h-index

    11 publications

    444 citations

  5. Princeton University

    Princeton, United States

    5 h-index

    13 publications

    700 citations

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    5 publications

    74 citations

  7. University of California San Diego

    San Diego, United States

    4 h-index

    11 publications

    351 citations

  8. Imperial College London

    London, United Kingdom

    4 h-index

    5 publications

    253 citations

1–8 of 101

Venues

  1. Journal of Functional Programming

    9 publications · 361 citations

    9

    h-index

  2. ACM SIGPLAN Notices

    9 publications · 505 citations

    9

    h-index

  3. 7

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 220 citations

    4

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 98 citations

    4

    h-index

1–5