On Polymorphic Recursion, Type Systems, and Abstract Interpretation. - Marco Comini; Ferruccio Damiani; Samuel Vrech (SAS, 2008)