Concepedia

Type Safety

Type Safety is a formal property of a type system that guarantees all expressions in a program are used according to their intended types, thereby preventing type errors during execution.

338

Publications

21.6K

Citations

641

Authors

205

Institutions

Publications per year

2017–2026

49

Parents

Publications

338

Featherweight Java

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

, , +16

From system F to typed assembly language

Greg Morrisett, David Walker, Karl Crary et al. · ACM Transactions on Programming Languages and Systems · 1999 · 587 citations · Full text

, , +17

CCured

George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 511 citations

, , +14

Making the future safe for the past

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

, , +16

Dynamic class loading in the Java virtual machine

Gilad Bracha · 1998 · 385 citations · Full text

, , +9

1–5 of 338

Authors

641

  1. GC
    George C. Necula

    University of California, Berkeley, United States

    12 publications · 2.2K citations

    12

    h-index

  2. GM
    Greg Morrisett

    Harvard University Press, United States

    10 publications · 1.6K citations

    10

    h-index

  3. KC
    Karl Crary

    Carnegie Mellon University, United States

    10 publications · 1.7K citations

    10

    h-index

  4. SW
    Stephanie Weirich

    University of Pennsylvania, United States

    10 publications · 530 citations

    10

    h-index

  5. NY
    Nobuko Yoshida

    Imperial College London, United Kingdom

    10 publications · 581 citations

    10

    h-index

1–5 of 641

Institutions

205

  1. Microsoft (United States)

    Redmond, United States

    19 h-index

    49 publications

    3.4K citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    16 h-index

    32 publications

    2.4K citations

  3. University of Pennsylvania

    Philadelphia, United States

    15 h-index

    39 publications

    4.3K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    14 h-index

    28 publications

    3.3K citations

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

    Le Chesnay-Rocquencourt, France

    13 h-index

    19 publications

    949 citations

  6. University of Maryland, College Park

    College Park, United States

    12 h-index

    23 publications

    1.2K citations

  7. Imperial College London

    London, United Kingdom

    12 h-index

    23 publications

    1.2K citations

  8. University of California, Berkeley

    Berkeley, United States

    11 h-index

    35 publications

    6.6K citations

1–8 of 205

Venues

  1. ACM SIGPLAN Notices

    34 publications · 1.7K citations

    19

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 20 publications · 960 citations

    16

    h-index

  3. 16

    h-index

  4. Journal of Functional Programming

    9 publications · 406 citations

    9

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 285 citations

    7

    h-index

1–5