Concepedia

Type Constructors

Type Constructor is a type-level function in generic programming that abstracts over types to produce new types by applying type parameters, distinguishing it from value-level functions through its role in enabling parametric polymorphism and type safety in statically typed systems.

354

Publications

19K

Citations

495

Authors

195

Institutions

Publications per year

2017–2026

24

Parents

Publications

354

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 1K citations · Full text

, , +16

A foundation for representing and querying moving objects

Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig et al. · ACM Transactions on Database Systems · 2000 · 756 citations · Full text

, , +16

A formulae-as-type notion of control

Timothy G. Griffin · 1990 · 506 citations

, , +12

Making the future safe for the past

Gilad Bracha, Martin Odersky, David Stoutamire et al. · 1998 · 503 citations · Full text

, , +16

Advanced C++ Programming Styles and Idioms

James O. Coplien · 2005 · 370 citations

, , +16

1–5 of 354

Authors

495

  1. SP
    Simon Peyton Jones

    Microsoft Research (United Kingdom), United Kingdom

    24 publications · 1.1K citations

    19

    h-index

  2. SW
    Stephanie Weirich

    University of Pennsylvania, United States

    14 publications · 596 citations

    14

    h-index

  3. RH
    Robert Harper

    Carnegie Mellon University, United States

    11 publications · 331 citations

    10

    h-index

  4. MP
    Mark P. Jones

    Yale University, United States

    9 publications · 574 citations

    9

    h-index

  5. JJ
    Jaakko Järvi

    Texas A&M University, United States

    9 publications · 519 citations

    9

    h-index

1–5 of 495

Institutions

195

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    18 h-index

    34 publications

    1.4K citations

  2. University of Pennsylvania

    Philadelphia, United States

    15 h-index

    30 publications

    2.3K citations

  3. Cornell University

    Ithaca, United States

    14 h-index

    26 publications

    1.4K citations

  4. Microsoft (United States)

    Redmond, United States

    13 h-index

    21 publications

    1.2K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    12 h-index

    25 publications

    885 citations

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

    Le Chesnay-Rocquencourt, France

    11 h-index

    16 publications

    1K citations

  7. Chalmers University of Technology

    Gothenburg, Sweden

    10 h-index

    17 publications

    1K citations

  8. Rice University

    Houston, United States

    10 h-index

    12 publications

    1K citations

1–8 of 195

Venues

  1. Journal of Functional Programming

    29 publications · 1.7K citations

    21

    h-index

  2. ACM SIGPLAN Notices

    33 publications · 980 citations

    19

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 13 publications · 417 citations

    11

    h-index

  4. 8

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 6 publications · 161 citations

    6

    h-index

1–5