linear objects

This is just a note to myself to revisit the
following article by Henry Baker:
'Use-Once' Variables and Linear Objects

I really should start making a big list for Stevie and I to go through in preparation for our PL Jr talk.

See also:

• Linear Logic and Permutation Stacks--The Forth Shall Be First
  
• A 'Linear Logic' Quicksort
  
• The Boyer Benchmark Meets Linear Logic
  
• Sparse Polynomials and Linear Logic
  
• Lively Linear Lisp--'Look Ma, No Garbage!'