On Polymorphic Recursion, Type Systems, and Abstract Interpretation.

Marco Comini, Ferruccio Damiani, Samuel Vrech

Browse the full SAS paper archive.