On Polymorphic Recursion, Type Systems, and Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Comini, Ferruccio Damiani, Samuel Vrech. On Polymorphic Recursion, Type Systems, and Abstract Interpretation. In María Alpuente, Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Volume 5079 of Lecture Notes in Computer Science, pages 144-158, Springer, 2008. [doi]

This author has not been identified. Look up 'Marco Comini' in GoogleThis author has not been identified. Look up 'Ferruccio Damiani' in GoogleThis author has not been identified. Look up 'Samuel Vrech' in Google

runs on WebDSL