A type system to avoid runtime errors for Multi-ML | IEEE Conference Publication | IEEE Xplore