Concepedia

Runtime Type Systems

Runtime Type Systems is a formal framework within runtime systems that dynamically classifies and manages type information during program execution, distinguishing itself from static type systems by enforcing type safety and enabling type-based operations at runtime rather than at compile time.

130

Publications

7.9K

Citations

272

Authors

108

Institutions

Publications per year

2017–2026

5

Parents

Publications

130

Julia: A Fast Dynamic Language for Technical Computing

arXiv (Cornell University) · 2012 · 670 citations · Full text

, , +16

Making the future safe for the past

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

, , +16

Flow-sensitive type qualifiers

Jeffrey S. Foster, Tachio Terauchi, Alex Aiken · 2002 · 377 citations

, , +16

An analysis of the dynamic behavior of JavaScript programs

Gregor Richards, Sylvain Lebresne, Brian R. Burg et al. · 2010 · 356 citations

, , +16

A parameterized type system for race-free Java programs

Chandrasekhar Boyapati, Martin Rinard · 2001 · 298 citations

, , +16

1–5 of 130

Authors

272

  1. JS
    Jeffrey S. Foster

    University of Maryland, College Park, United States

    10 publications · 862 citations

    10

    h-index

  2. PW
    Philip Wadler

    University of Edinburgh, United Kingdom

    7 publications · 744 citations

    7

    h-index

  3. JA
    Jong-hoon An

    University of Maryland, College Park, United States

    6 publications · 425 citations

    6

    h-index

  4. DS
    Don Syme

    Microsoft Research (United Kingdom), United Kingdom

    5 publications · 372 citations

    5

    h-index

  5. AC
    Avik Chaudhuri

    University of Maryland, College Park, United States

    5 publications · 246 citations

    5

    h-index

1–5 of 272

Institutions

108

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    14 publications

    623 citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    8 h-index

    14 publications

    1.1K citations

  3. University of Maryland, College Park

    College Park, United States

    7 h-index

    21 publications

    1.4K citations

  4. Stanford University

    Stanford, United States

    6 h-index

    15 publications

    561 citations

  5. University of California, Berkeley

    Berkeley, United States

    6 h-index

    22 publications

    2.5K citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    13 publications

    2.9K citations

  7. Adobe Systems (United States)

    San Jose, United States

    5 h-index

    8 publications

    350 citations

  8. Microsoft (United States)

    Redmond, United States

    5 h-index

    9 publications

    1K citations

1–8 of 108

Venues

  1. ACM SIGPLAN Notices

    15 publications · 559 citations

    13

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 100 citations

    3

    h-index

  3. Journal of Functional Programming

    3 publications · 119 citations

    3

    h-index

  4. Software Practice and Experience

    2 publications · 99 citations

    2

    h-index

  5. 2

    h-index

1–5