Refinement Types for Program Analysis.

Mario Coppo, Ferruccio Damiani, Paola Giannini

Browse the full SAS paper archive.