[clean-list] uniqueness question

[Vag Vagoff]

I've collected papers about uniqueness typing at

     http://sites.google.com/site/vagvagoff/UniquenessAndLinearTypes.tar.bz2

(download it by browser, not wget -- there are some weird redirections)

file|year|title|authors
10.1.1.36.5927 (Conventional and UT in GRS).pdf|1993|Conventional and Uniqueness Typing in Graph Rewrite Systems|Erik Barendsen,Sjaak Smetsers
barendsen93conventional.pdf|1993|Conventional and Uniqueness Typing in Graph Rewrite Systems|Erik Barendsen,Sjaak Smetsers
smes94-guaranteeing.pdf|1994|Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs|Sjaak Smetsers,Erik Barendsen,Marko van Eekelen,Rinus Plasmeijer
10.1.1.36.3125 (Guaranteeing Safe Destructive Updates).pdf|1994|Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs|Sjaak Smetsers,Erik Barendsen,Marko van Eekelen,Rinus Plasmeijer
10.1.1.36.5837 (In Theory and Practice).pdf|1994|Uniqueness Types in Theory and Practice|Erik Barendsen,Sjaak Smetsers
10.1.1.53.4191 (Derivation System).pdf|1995|A Derivation System for Uniqueness Typing|Erik Barendsen,Sjaak Smetsers
bare96-uniclosed.pdf|1996|Uniquness Typing for Functional Languages with Graph Rewriting Semantics|Erik Barendsen,Sjaak Smetsers
groj97-Arrays.pdf|1997|The Implementation and Efficiency of Arrays in Clean 1.1|John H. G. van Groningen
28-Deviansky-UniqueIdentifiersInPureFunctionalLanguages.pdf|2006|Unique Identifiers in Pure Functional Languages|Peter Devianszky
vrie2007-IFL06-UniquenessTypingRedefinedRev.pdf|2006|Uniqueness Typing Redefined|Edsko de Vries,Rinus Plasmeijer,David Abrahamson
vrie2007-IFL06-UniquenessTypingRedefinedRev-.pdf|2006|Uniqueness Typing Redefined|Edsko de Vries,Rinus Plasmeijer,David Abrahamson
vrie08-IFL07-UniquenessTypingSimplified-.pdf|2007|Uniqueness Typing Simplified|Edsko de Vries,Rinus Plasmeijer,David Abrahamson
vrie2007-TFP07-EqualityBasedUniquenessTyping.pdf|2007|Equality Based Uniqueness Typing|Edsko de Vries,Rinus Plasmeijer,David Abrahamson
vrie2007-TFP07-EqualityBasedUniquenessTyping-.pdf|2007|Equality Based Uniqueness Typing|Edsko de Vries,Rinus Plasmeijer,David Abrahamson
vrie08-IFL07-UniquenessTypingSimplified.pdf|2007|Uniqueness Typing Simplified|Edsko de Vries,Rinus Plasmeijer,David Abrahamson
fpottier-2007-05-linear-bestiary.pdf|2007|Wandering through linear types, capabilities, and regions|Francois Pottier