Concepedia

Existential Types

Existential Type is a type system construct that abstracts over types by encapsulating a type together with operations on it, such that the concrete type is hidden and only a specified interface is exposed, thereby enabling data abstraction and modular reasoning about polymorphic code.

103

Publications

5.3K

Citations

141

Authors

93

Institutions

Publications per year

2017–2026

13

Parents

Publications

103

A formulae-as-type notion of control

Timothy G. Griffin · 1990 · 506 citations

, , +12

Abstract types have existential type

John C. Mitchell, Gordon Plotkin · ACM Transactions on Programming Languages and Systems · 1988 · 432 citations · Full text

, , +14

A New Look at the Semantics and Pragmatics of Numerically Quantified Noun Phrases

Richard Breheny · Journal of Semantics · 2007 · 273 citations

, , +13

State-dependent representation independence

Amal Ahmed, Derek Dreyer, Andreas Rossberg · 2009 · 181 citations

, , +13

Simple type-theoretic foundations for object-oriented programming

Benjamin C. Pierce, David N. Turner · Journal of Functional Programming · 1994 · 170 citations · Full text

, , +16

1–5 of 103

Authors

141

  1. BC
    Benjamin C. Pierce

    University of Pennsylvania, United States

    6 publications · 406 citations

    6

    h-index

  2. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    4 publications · 256 citations

    4

    h-index

  3. GG
    Giorgio Ghelli

    University of Pisa, Italy

    4 publications · 90 citations

    4

    h-index

  4. PM
    Paolo Manghi

    Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy

    3 publications · 61 citations

    3

    h-index

  5. AA
    Amal Ahmed

    Northeastern University, United States

    3 publications · 257 citations

    3

    h-index

1–5 of 141

Institutions

93

  1. University of Edinburgh

    Edinburgh, United Kingdom

    8 h-index

    10 publications

    1.1K citations

  2. University of Pisa

    Pisa, Italy

    5 h-index

    15 publications

    301 citations

  3. University of Pennsylvania

    Philadelphia, United States

    4 h-index

    5 publications

    211 citations

  4. Stanford University

    Stanford, United States

    4 h-index

    8 publications

    614 citations

  5. University of Cambridge

    Cambridge, United Kingdom

    3 h-index

    3 publications

    232 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    5 publications

    70 citations

  7. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    4 publications

    158 citations

  8. Toyota Technological Institute at Chicago

    Chicago, United States

    3 h-index

    3 publications

    234 citations

1–8 of 93

Venues

  1. Journal of Functional Programming

    5 publications · 294 citations

    5

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 92 citations

    4

    h-index

  3. Proceedings from Semantics and Linguistic Theory

    SALT · 4 publications · 159 citations

    4

    h-index

  4. ACM SIGPLAN Notices

    3 publications · 77 citations

    3

    h-index

  5. 3

    h-index

1–5