Learning about Multiparty Session Types with some moral support.

So it turns out there’s an interactive process that _ends_ Dec 23 AoE — which is much more humane.

Show thread

Minor grumble about the ECOOP Artefact evaluation process this year: having the author response period start on 23rd at midnight AoE really interferes with Christmas.

I’m in! I can finally shitpost about Rust and Javascript! Thanks @hazel


A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.