Return to Article Details Strong typing of object-oriented languages revisited Download Download PDF