Tag linear_types
3 bookmarks have this tag.
2025-03-21
How Austral’s Linear Type Checker Works
borretti.me/article/how-australs-linear-type-checker-worksMore on Austral.
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.