Tag linear_types

2 bookmarks have this tag.

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

Introducing Austral: A Systems Language with Linear Types and Capabilities

borretti.me/article/introducing-austral

Introducing a new programming language.

linear_types,programming_language