A Type System for Components.

Ornela Dardha, Elena Giachino, Michael Lienhardt

Browse the full SEFM paper archive.