Linear types can change the world!
cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdfA smart paper about linear types. I did not grasp it fully.
Introducing Austral: A Systems Language with Linear Types and Capabilities
borretti.me/article/introducing-australIntroducing a new programming language.