You are here

Home

Publications

Export 1 results:
Filters: Author is Samuel Vrech  [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.

created with Drupal | customized by Giovanni Bacci