Affine Type Systems

Affine Type Systems is a type system in which each variable must be used at most once, distinguishing it from linear and classical type systems by enforcing resource management without requiring consumption.

88

Publications

3.8K

Citations

159

Authors

89

Institutions

Publications per year

2017–2026

15

Variants

Affine Type System

Authors

159

  1. GY
    Guang‐Hong Yang

    Northeastern University, China

    5 publications · 164 citations

    5

    h-index

  2. SM
    S. Monaco

    Sapienza University of Rome, Italy

    3 publications · 62 citations

    3

    h-index

  3. HG
    Heng Guo

    University of Edinburgh, United Kingdom

    3 publications · 94 citations

    3

    h-index

  4. JC
    Jin‐Yi Cai

    University of Wisconsin–Madison, United States

    3 publications · 94 citations

    3

    h-index

  5. EB
    E.K. Boukas

    Polytechnique Montréal, Canada

    3 publications · 55 citations

    3

    h-index

1–5 of 159

Venues

  1. IEEE Transactions on Automatic Control

    6 publications · 974 citations

    6

    h-index

  2. International Journal of Robust and Nonlinear Control

    IJRCEA · 4 publications · 82 citations

    4

    h-index

  3. Journal of Algebra

    4 publications · 74 citations

    4

    h-index

  4. SIAM Journal on Control and Optimization

    3 publications · 95 citations

    3

    h-index

  5. arXiv (Cornell University)

    Repository · 3 publications · 38 citations

    3

    h-index

1–5