David Walker Kevin Watkins On Regions and Linear Types. 181-192 2001 ICFP db/conf/icfp/icfp2001.html#WalkerW01