Pinned
Absolutely delighted that "Special Delivery: Programming with Mailbox Types" has been accepted to ICFP 2023!
Joint work with @duncanattard, Franek Sowul, @SimonJGay and Phil Trinder.
Draft: simonjf.com/drafts/pat-dra…
Code: github.com/simonjf/mbcheck
1/

