4 ms·Efficient Functional Programming Using Linear Types: The Array Fragment [pdf]3 points by gbrown_ 9y ago