A Formal Semantics of the MULTI-ML Language.

Victor Allombert, Frdric Gava, Julien Tesson

Browse the full ISPDC paper archive.