Reblogged by cstanhope@social.coop ("Your friendly 'net denizen"):
lindsey@recurse.social ("Lindsey Kuper") wrote:
Now that it's been rejected from POPL, I can share what my students @Twisol and @redmp and I have been up to: a dependently-typed diagrammatic language for describing executions of concurrent systems! https://arxiv.org/abs/2307.10484
Here's what I think is cool about it. 👇