Breaking the Java Type System

Do similar problems exist for Nice?

"We show that this idiom is provably incorrect and as such it leads to
major violations of the Java type system that appear in the new
release. The new release thus turns a type safe language into an unsafe
one as static type checking does not work any more. The run-time type
information in this release is incorrect so that dynamic type checking
can fail in unexpected ways."

Type Erasure: Breaking the Java Type System
http://www.research.ibm.com/compsci/plansoft/plday/plday2005.html

Parametric polymorphism for Java: is there any hope in sight? (slides)
http://types.bu.edu/seminar-documents/BU04.ppt

Parametric polymorphism for Java: is there any hope in sight?
http://portal.acm.org/citation.cfm?id=1052883.1052887 

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com 


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click