Concepedia

Intersection Types

Intersection Types is a type system construct that assigns to an expression the conjunction of multiple types, requiring it to satisfy all constituent types simultaneously, thereby enabling more precise characterization of program behavior through the combination of intersecting type constraints.

176

Publications

6.4K

Citations

287

Authors

146

Institutions

Publications per year

2017–2026

31

Parents

Publications

176

Soft typing with conditional types

Alex Aiken, Edward L. Wimmers, T. K. Lakshman · 1994 · 214 citations · Full text

, , +16

Generalizable intention prediction of human drivers at intersections

Derek J. Phillips, Tim A. Wheeler, Mykel J. Kochenderfer · 2017 · 188 citations

, , +15

Intersection and Union Types: Syntax and Semantics

Franco Barbanera, Ugo de’Liguoro · Information and Computation · 1995 · 178 citations

, , +11

Complete restrictions of the intersection type discipline

Steffen van Bakel · Theoretical Computer Science · 1992 · 142 citations

, , +8

Intersection types and computational effects

Rowan Davies, Frank Pfenning · 2000 · 127 citations · Full text

, , +16

1–5 of 176

Authors

287

  1. MD
    Mariangiola Dezani-Ciancaglini

    University of Turin, Italy

    11 publications · 288 citations

    10

    h-index

  2. JB
    J. B. Wells

    Wellesley College, United States

    7 publications · 274 citations

    7

    h-index

  3. AJ
    A. J. Kfoury

    Boston University, United States

    6 publications · 289 citations

    6

    h-index

  4. SV
    Steffen van Bakel

    Imperial College London, United Kingdom

    6 publications · 341 citations

    6

    h-index

  5. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    5 publications · 284 citations

    5

    h-index

1–5 of 287

Institutions

146

  1. University of Turin

    Turin, Italy

    14 h-index

    30 publications

    580 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    11 h-index

    16 publications

    507 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    17 publications

    921 citations

  4. Université Paris Cité

    Paris, France

    9 h-index

    15 publications

    490 citations

  5. Cornell University

    Ithaca, United States

    5 h-index

    13 publications

    459 citations

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    6 publications

    129 citations

  7. University of Udine

    Udine, Italy

    5 h-index

    7 publications

    166 citations

  8. Purdue University West Lafayette

    West Lafayette, United States

    4 h-index

    6 publications

    286 citations

1–8 of 146

Venues

  1. Theoretical Computer Science

    11 publications · 570 citations

    11

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 10 publications · 248 citations

    10

    h-index

  3. Mathematical Structures in Computer Science

    MSCS · 9 publications · 288 citations

    9

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 8 publications · 130 citations

    8

    h-index

  5. 7

    h-index

1–5