Concepedia

Union Types

Union Types is a type constructor in type systems that represents a data type formed by the union of two or more distinct types, enabling a value to be interpreted as belonging to any of its constituent types while preserving type safety during static analysis.

61

Publications

2.5K

Citations

104

Authors

66

Institutions

Publications per year

2017–2026

11

Parents

Publications

61

Effects of Union Type on Division of Household Labor

Shannon N. Davis, Theodore N. Greenstein, Jennifer P. Gerteisen Marks · Journal of Family Issues · 2007 · 189 citations

, , +11

Intersection and Union Types: Syntax and Semantics

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

, , +11

Socio-economic resources and first-union formation in Finland, cohorts born 1969–81

Marika Jalovaara · Population Studies · 2012 · 114 citations

, , +15

Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics

Antoine Miné · 2006 · 108 citations

, , +17

Two Decades of Same-Sex Marriage in Sweden: A Demographic Account of Developments in Marriage, Childbearing, and Divorce

Martin Kolk · Demography · 2020 · 93 citations · Full text

, , +15

1–5 of 61

Authors

104

  1. RC
    Radhia Cousot

    École Polytechnique, France

    4 publications · 186 citations

    4

    h-index

  2. SM
    Sajid Malik

    Quaid-i-Azam University, Pakistan

    4 publications · 95 citations

    4

    h-index

  3. JP
    Jens Palsberg

    University of California, Los Angeles, United States

    3 publications · 100 citations

    3

    h-index

  4. FT
    Franklyn Turbak

    Wellesley College, United States

    3 publications · 111 citations

    3

    h-index

  5. JB
    J. B. Wells

    Wellesley College, United States

    3 publications · 111 citations

    3

    h-index

1–5 of 104

Institutions

66

  1. Quaid-i-Azam University

    Islamabad, Pakistan

    4 h-index

    10 publications

    265 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    3 publications

    90 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    3 publications

    129 citations

  4. University of Oxford

    Oxford, United Kingdom

    2 h-index

    4 publications

    148 citations

  5. Kyoto University

    Kyoto, Japan

    2 h-index

    3 publications

    84 citations

  6. Stockholm University

    Stockholm, Sweden

    2 h-index

    3 publications

    229 citations

  7. University of Genoa

    Genoa, Italy

    2 h-index

    3 publications

    68 citations

  8. Hazara University

    Baffa, Pakistan

    2 h-index

    4 publications

    74 citations

1–8 of 66

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 106 citations

    4

    h-index

  2. Journal of Functional Programming

    3 publications · 127 citations

    3

    h-index

  3. Social Biology

    2 publications · 25 citations

    2

    h-index

  4. Information and Computation

    2 publications · 225 citations

    2

    h-index

  5. Very Large Data Bases

    Conference · 1 publications · 70 citations

    1

    h-index

1–5