You are here

Publications

Export 1 results:
Filters: Author is Germán Vidal  [Clear All Filters]
2008
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.