Research on "Formal Methods in Computing"

On Polymorphic Recursion, Type Systems, and Abstract Interpretation

ABSTRACT.

• pdf ( © Springer-Verlag - The original pubblication is available at http://www.springerlink.com )