TY  - RPRT
TI  - Special Delivery: Programming with Mailbox Types (Extended Version)
AU  - Simon Fowler
AU  - Duncan Paul Attard
AU  - Danielle Marshall
AU  - Simon J. Gay
AU  - Phil Trinder
PY  - 2026
UR  - https://arxiv.org/abs/2306.12935
ID  - 2306.12935
ER  -