Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems.

Christine Solnon, Michel Rueher

Browse the full LOPSTR paper archive.