Sibling already gave great pointers to structured concurrency in general. For rust specifically the links in the post were good, some I hadn’t seen that came u

Sibling already gave great pointers to structured concurrency in general. For rust specifically the links in the post were good, some I hadn’t seen that came up in the last 2 years. Perhaps someone from deep PL background has more rigorous papers and such to point to? I highly doubt this is being discovered now for the first time – it wouldn’t surprise me if there’s a whole academic sub-branch about similar things. Given how important concurrency is, and how difficult it is to get right, there’s a lot of opportunity for academia to tackle the problem space. We sure as hell need it.