Concepedia

Linear Type Systems

Linear Type Systems is a type system in which variables are used exactly once by default, enforcing resource-sensitive computation by distinguishing between ephemeral and duplicable data through linear logic principles.

270

Publications

15.7K

Citations

575

Authors

281

Institutions

Publications per year

2017–2026

50

Parents

Publications

270

Numerical solution of saddle point problems

Michele Benzi, Gene H. Golub, Jörg Liesen · Acta Numerica · 2005 · 2.3K citations

, , +14

Proceedings of the 40th IEEE Conference on Decision and Control

2001 · 1.1K citations

, , +17

A nonlinear integrator for servomechanisms

J. C. Clegg · Transactions of the American Institute of Electrical Engineers Part II Applications and Industry · 1958 · 436 citations

, , +15

Linear Types can Change the World

Philip Wadler · 1990 · 389 citations

, , +7

Flow-sensitive type qualifiers

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

, , +16

1–5 of 270

Authors

575

  1. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    8 publications · 516 citations

    8

    h-index

  2. UD
    Ugo Dal Lago

    University of Bologna, Italy

    7 publications · 251 citations

    7

    h-index

  3. NK
    Naoki Kobayashi

    The University of Tokyo, Japan

    5 publications · 500 citations

    5

    h-index

  4. PW
    Philip Wadler

    University of Edinburgh, United Kingdom

    5 publications · 758 citations

    5

    h-index

  5. GR
    G.W. Rogers

    Pennsylvania State University, United States

    5 publications · 204 citations

    5

    h-index

1–5 of 575

Institutions

281

  1. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    27 publications

    1.4K citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    9 h-index

    13 publications

    1.3K citations

  3. University of Pennsylvania

    Philadelphia, United States

    7 h-index

    17 publications

    781 citations

  4. University of California, Berkeley

    Berkeley, United States

    7 h-index

    18 publications

    1.6K citations

  5. University of Bologna

    Bologna, Italy

    7 h-index

    11 publications

    345 citations

  6. University of Wisconsin–Madison

    Madison, United States

    6 h-index

    13 publications

    443 citations

  7. Kyoto University

    Kyoto, Japan

    5 h-index

    5 publications

    120 citations

  8. California University of Pennsylvania

    California, United States

    5 h-index

    15 publications

    377 citations

1–8 of 281

Venues

  1. Journal of Dairy Science

    JDS · 20 publications · 1.3K citations

    17

    h-index

  2. IEEE Transactions on Automatic Control

    11 publications · 833 citations

    11

    h-index

  3. ACM SIGPLAN Notices

    8 publications · 254 citations

    8

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 7 publications · 226 citations

    7

    h-index

  5. Journal of Functional Programming

    5 publications · 476 citations

    5

    h-index

1–5