Tilbage til artikeldetaljer Strong typing of object-oriented languages revisited Download Download PDF