A smart paper about linear types. I did not grasp it fully.