Linear Type(CleanのUniq Type)

Wadler の Linear Types Can Change the World! のゼミがあった。
古い論文なので、Clean の Uniq Type を見たほうが話が新しいかもしれない。
以下、自分の理解。