There is this really great paper about space leaks and arrows: https://pdfs.semanticscholar.org/cab9/4da6e4b88b01848747df8297fccf1ea6b35a.pdf https://pdfs.seman

There is this really great paper about space leaks and arrows: https://pdfs.semanticscholar.org/cab9/4da6e4b88b01848747df8297fccf1ea6b35a.pdf https://pdfs.semanticscholar.org/cab9/4da6e4b88b01848747df82...