332.

How Austral’s Linear Type Checker Works

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

More on Austral.

imported,linear_types,public_bookmarks