An Attempt to Find Polymorphic Types by Abstract Interpretation.

Bruno Monsuez An Attempt to Find Polymorphic Types by Abstract Interpretation. 18-25 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#Monsuez91