Towards Global and Local Types for Adaptation.

Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Prez, Gianluigi Zavattaro

Browse the full SEFM paper archive.