Abstract Interpretation for Type Checking. - Gilberto Filé; P. Sottero (PLILP, 1991)