Concepedia

Affine Types

Affine Types is a type system property that belongs to the class of substructural type systems, distinguished by enforcing that each variable is used at most once, thereby restricting resource consumption without requiring exact usage as in linear types.

47

Publications

2.2K

Citations

81

Authors

65

Institutions

Publications per year

2017–2026

10

Parents

Publications

47

Affine Arithmetic: Concepts and Applications

Luiz Henrique de Figueiredo, Jorge Stolfi · Numerical Algorithms · 2004 · 342 citations

, , +12

Faces of generalized permutohedra

Victor Reiner, Lauren Williams · Documenta Mathematica · 2008 · 326 citations · Full text

, , +14

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · ACM SIGPLAN Notices · 2011 · 155 citations

, , +16

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · 2011 · 139 citations

, , +16

Light affine logic

Andrea Asperti · 2002 · 75 citations

, , +12

1–5 of 47

Authors

81

  1. NS
    Nikhil Swamy

    Microsoft (United States), United States

    4 publications · 372 citations

    4

    h-index

  2. CF
    Cédric Fournet

    Microsoft Research (United Kingdom), United Kingdom

    3 publications · 355 citations

    3

    h-index

  3. KB
    Karthikeyan Bhargavan

    Institut national de recherche en sciences et technologies du numérique, France

    3 publications · 355 citations

    3

    h-index

  4. JC
    Juan Chen

    Microsoft (United States), United States

    3 publications · 355 citations

    3

    h-index

  5. PS
    Pierre-Yves Strub

    Institut national de recherche en sciences et technologies du numérique, France

    3 publications · 355 citations

    3

    h-index

1–5 of 81

Institutions

65

  1. University of Virginia

    Charlottesville, United States

    4 h-index

    4 publications

    108 citations

  2. Microsoft (United States)

    Redmond, United States

    4 h-index

    8 publications

    744 citations

  3. Microsoft (France)

    Issy-les-Moulineaux, France

    3 h-index

    3 publications

    355 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    5 publications

    477 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    6 publications

    710 citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    3 publications

    355 citations

  7. Harbin Engineering University

    Harbin, China

    2 h-index

    2 publications

    48 citations

  8. University of Birmingham

    Birmingham, United Kingdom

    2 h-index

    4 publications

    92 citations

1–8 of 65

Venues

  1. Journal of Algebra

    4 publications · 85 citations

    4

    h-index

  2. ACM SIGPLAN Notices

    3 publications · 239 citations

    3

    h-index

  3. Discrete Mathematics & Theoretical Computer Science

    DMTCS · 2 publications · 29 citations

    2

    h-index

  4. arXiv (Cornell University)

    Repository · 2 publications · 29 citations

    2

    h-index

  5. Journal of Combinatorial Designs

    JCD · 2 publications · 32 citations

    2

    h-index

1–5