Corpus ID: 58535510

Linear Types can Change the World!

@inproceedings{Wadler1990LinearTC,
  title={Linear Types can Change the World!},
  author={P. Wadler},
  booktitle={Programming Concepts and Methods},
  year={1990}
}
  • P. Wadler
  • Published in
    Programming Concepts and…
     1990
  • Computer Science
    • citeseerx.ist.psu.edu
    574 Citations
    Highly Influential Citations
    30
    Background Citations
    207
    Methods Citations
    70
    Results Citations
    3
    574 Citations
    Citation Type

    Citation Type

    Lively linear Lisp: “look ma, no garbage!”
    • 79
    • PDF
    Alias Killing: Unique Variables without Destructive Reads
    • 5
    Once upon a polymorphic type
    • 76
    • PDF
    L3: A Linear Language with Locations
    • 116
    • PDF
    Resource-Passing Concurrent Programming
    • 17
    • PDF
    Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language
    • 4
    • PDF
    A data structure for more efficient runtime support of truly functional arrays
    • 1
    • PDF
    On regions and linear types (extended abstract)
    • 34
    • Highly Influenced
    • PDF
    Garbage Collection Based on a Linear Type System
    • 16
    • PDF
    A Linear Language with Locations
    • 39
    • PDF

    References

    Detecting global variables in denotational specifications
    • 128