A type system to avoid runtime errors for Multi-ML.

Frdric Gava, Victor Allombert, Julien Tesson

Browse the full ISPDC paper archive.