Research on "Formal Methods in Computing"

On Traits and Types in a Java-like Setting

ABSTRACT.

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