4,532 followers
@arlencox Maybe see this paper: https://t.co/4FzGTfBTQR It shows maybe how regions and ownership (linear types) could be combined in a useful way.
@arlencox Maybe see this paper: https://t.co/4FzGTfBTQR It shows maybe how regions and ownership (linear types) could be combined in a useful way.