Concepedia

Algebraic Data Types

Algebraic Data Type is a formal data type in programming language theory that is constructed as a composite of sum types and product types, enabling the precise modeling of data structures through a set of labeled variants (constructors) and their associated data fields.

220

Publications

9.9K

Citations

336

Authors

171

Institutions

Publications per year

2017–2026

24

Variants

Adts

Parents

Publications

220

1–5 of 220

Authors

336

  1. FP
    François Pottier

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

    8 publications · 328 citations

    8

    h-index

  2. VK
    Viktor Kunčak

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

    8 publications · 419 citations

    8

    h-index

  3. PS
    Philippe Suter

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

    6 publications · 374 citations

    6

    h-index

  4. SW
    Stephanie Weirich

    University of Pennsylvania, United States

    6 publications · 506 citations

    6

    h-index

  5. PJ
    Patricia Johann

    Rutgers, The State University of New Jersey, United States

    5 publications · 125 citations

    5

    h-index

1–5 of 336

Institutions

171

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

    Lausanne, Switzerland

    10 h-index

    28 publications

    1.5K citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    9 h-index

    14 publications

    1.2K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    10 publications

    340 citations

  4. California University of Pennsylvania

    California, United States

    7 h-index

    14 publications

    1.7K citations

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

    Le Chesnay-Rocquencourt, France

    7 h-index

    13 publications

    559 citations

  6. University of Oxford

    Oxford, United Kingdom

    6 h-index

    10 publications

    351 citations

  7. Microsoft (United States)

    Redmond, United States

    6 h-index

    9 publications

    804 citations

  8. Université Paris Cité

    Paris, France

    5 h-index

    6 publications

    270 citations

1–8 of 171

Venues

  1. ACM SIGPLAN Notices

    20 publications · 640 citations

    17

    h-index

  2. Theoretical Computer Science

    8 publications · 504 citations

    8

    h-index

  3. Journal of Functional Programming

    7 publications · 136 citations

    7

    h-index

  4. 5

    h-index

  5. arXiv (Cornell University)

    Repository · 4 publications · 72 citations

    4

    h-index

1–5