Refinement Types for Program Analysis (1996)

by M Coppo, F Damiani, P Giannini