1831.

How Austral’s Linear Type Checker Works

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

More on Austral.

Archive copies