Behavioural Up/down Casting For Statically Typed Languages.

Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joo Mota, Antnio Ravara

Browse the full ECOOP paper archive.