On Type Checking Delta-Oriented Product Lines.

Ferruccio Damiani, Michael Lienhardt

Browse the full IFM paper archive.