Frédéric Gava, Victor Allombert, Julien Tesson: A type system to avoid runtime errors for Multi-ML. ISPDC 2022: 41-48