3Linear Logic and Permutation Stacks–The Forth Shall Be First (opens in new tab)(web.archive.org)3n0w3y ago0
4Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom (opens in new tab)(arxiv.org)3n0w3y ago0