How Austral’s Linear Type Checker Works - discu.eu

Lobsters

How Austral’s Linear Type Checker Works https://borretti.me/article/how-australs-linear-type-checker-works 24 comments 29/1/2023 plt , rust

Linking pages

GitHub - lambdaclass/austral.rs: An implementation of the Austral language compiler in Rust https://github.com/lambdaclass/austral.rs 8 comments

Linked pages

Introducing Austral: A Systems Language with Linear Types and Capabilities https://borretti.me/article/introducing-austral 151 comments
The Austral Programming Language https://austral-lang.org 123 comments

Related searches:

Search whole site: site:borretti.me

Search title: How Austral’s Linear Type Checker Works

See how to search.

Submit link to: