DMCA

On Polymorphic Recursion, Type Systems, and Abstract Interpretation

by Marco Comini , Ferruccio Damiani , Samuel Vrech