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
  • 574 Citations
    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
    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