Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
M. Comini
,
Damiani, F.
, and
Vrech, S.
,
“
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
”
,
Static Analysis – 15th International Symposium, SAS 2008
, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
Google Scholar
BibTex
Google Scholar
BibTex