2 bookmarks for 2023-04-21

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.

# linear_types,paper
170.

Introducing Austral: A Systems Language with Linear Types and Capabilities

borretti.me/article/introducing-austral

Introducing a new programming language.

# linear_types,programming_language
169.