2 bookmarks for 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.