Typed Elixir

[pera]

So… why is nobody talking about this two recently published papers on session types?:

• Exceptional Asynchronous Session Types - Session Types without Tiers [pdf]
• Less Is More: Multiparty Session Types Revisited [pdf]