Concepedia

Type-level Programming

Type-Level Programming is a programming paradigm wherein computations are performed during compilation by manipulating types as first-class entities, thereby enabling generic code to be expressed and verified statically through type inference and type unification.

262

Publications

15.7K

Citations

448

Authors

163

Institutions

Publications per year

2017–2026

26

Parents

Publications

262

1–5 of 262

Authors

448

  1. SP
    Simon Peyton Jones

    Microsoft Research (United Kingdom), United Kingdom

    15 publications · 1.7K citations

    14

    h-index

  2. JJ
    Johan Jeuring

    Utrecht University, Netherlands

    9 publications · 281 citations

    9

    h-index

  3. MO
    Martin Odersky

    École Polytechnique Fédérale de Lausanne, Switzerland

    8 publications · 871 citations

    8

    h-index

  4. AL
    Andres Löh

    Utrecht University, Netherlands

    7 publications · 232 citations

    7

    h-index

  5. RA
    Richard A. Eisenberg

    University of Pennsylvania, United States

    7 publications · 145 citations

    7

    h-index

1–5 of 448

Institutions

163

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    17 h-index

    32 publications

    2.3K citations

  2. Microsoft (United States)

    Redmond, United States

    14 h-index

    27 publications

    1.7K citations

  3. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    11 h-index

    30 publications

    1.3K citations

  4. Utrecht University

    Utrecht, The Netherlands

    10 h-index

    26 publications

    869 citations

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    15 publications

    545 citations

  6. Aarhus University

    Aarhus, Denmark

    8 h-index

    13 publications

    606 citations

  7. Stanford University

    Stanford, United States

    8 h-index

    17 publications

    1.6K citations

  8. University of Pennsylvania

    Philadelphia, United States

    7 h-index

    13 publications

    308 citations

1–8 of 163

Venues

  1. ACM SIGPLAN Notices

    31 publications · 1.1K citations

    18

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 12 publications · 335 citations

    11

    h-index

  3. Journal of Functional Programming

    11 publications · 595 citations

    11

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 150 citations

    7

    h-index

  5. arXiv (Cornell University)

    Repository · 3 publications · 65 citations

    3

    h-index

1–5