Tag linear_types

3 bookmarks have this tag.

2025-03-21

1831.

How Austral’s Linear Type Checker Works

borretti.me/article/how-australs-linear-type-checker-works

More on Austral.

2023-04-21

170.

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.

169.

Introducing Austral: A Systems Language with Linear Types and Capabilities

borretti.me/article/introducing-austral

Introducing a new programming language.