Linear types can change the world! cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf A smart paper about linear types. I did not grasp it fully. linear_types,paper 2023-04-21 19:49
Introducing Austral: A Systems Language with Linear Types and Capabilities borretti.me/article/introducing-austral Introducing a new programming language. linear_types,programming_language 2023-04-21 00:23