3 ms·The Austral programming language. (linear types and capability security)2 points by fanf2 10mo ago