A type system to avoid runtime errors for Multi-ML

Frédéric Gava, Victor Allombert, Julien Tesson. A type system to avoid runtime errors for Multi-ML. In 21st International Symposium on Parallel and Distributed Computing, ISPDC 2022, Basel, Switzerland, July 11-13, 2022. pages 41-48, IEEE, 2022. [doi]

Abstract

Abstract is missing.