Concepedia

Occurrence Typing

Occurrence Typing is a type system technique that refines the type of a variable based on control-flow conditions and their logical implications within individual branches of a program, enabling more precise type inference for dynamically-typed expressions in a statically-typed setting.

8

Publications

631

Citations

14

Authors

9

Institutions

Publications per year

2017–2026

2

Parents

Publications

8

The design and implementation of typed scheme

Sam Tobin-Hochstadt, Matthias Felleisen · 2008 · 313 citations

, , +16

Logical types for untyped languages

Sam Tobin-Hochstadt, Matthias Felleisen · 2010 · 131 citations

, , +9

The occur-check problem in Prolog

David A. Plaisted · New Generation Computing · 1984 · 65 citations

, , +8

The design and implementation of typed scheme

Sam Tobin-Hochstadt, Matthias Felleisen · ACM SIGPLAN Notices · 2008 · 44 citations

, , +16

Occurrence types and genesis models of hot dry rock resources in China

Chuan Lu, Wenjing Lin, Gan Haonan et al. · Environmental Earth Sciences · 2017 · 29 citations

, , +16

1–5 of 8

Authors

14

  1. ST
    Sam Tobin-Hochstadt

    Northeastern University, United States

    5 publications · 524 citations

    5

    h-index

  2. MF
    Matthias Felleisen

    Northeastern University, United States

    4 publications · 501 citations

    4

    h-index

  3. ML
    Matthew Lutze

    Université Paris Cité, France

    1 publications · 13 citations

    1

    h-index

  4. WL
    Wenjing Lin

    Chinese Academy of Geological Sciences, China

    1 publications · 29 citations

    1

    h-index

  5. FL
    Feng Liu

    Chinese Academy of Geological Sciences, China

    1 publications · 29 citations

    1

    h-index

1–5 of 14

Institutions

9

  1. Northeastern University

    Boston, United States

    4 h-index

    8 publications

    1K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    1 publications

    13 citations

  3. Chinese Academy of Geological Sciences

    Beijing, China

    1 h-index

    5 publications

    145 citations

  4. University of Illinois at Springfield

    Springfield, United States

    1 h-index

    1 publications

    65 citations

  5. Indiana University

    Bloomington, United States

    1 h-index

    3 publications

    69 citations

  6. Institut de Recherche en Informatique Fondamentale

    Paris, France

    1 h-index

    3 publications

    39 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    1 h-index

    1 publications

    65 citations

  8. Université Paris Cité

    Paris, France

    1 h-index

    3 publications

    39 citations

1–8 of 9

Venues

  1. ACM SIGPLAN Notices

    2 publications · 57 citations

    2

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 13 citations

    1

    h-index

  3. New Generation Computing

    1 publications · 65 citations

    1

    h-index

  4. Environmental Earth Sciences

    1 publications · 29 citations

    1

    h-index

1–4