Tag linear_types
2 bookmarks have this tag.
2023-04-21
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.