Behavioural Up/down Casting For Statically Typed Languages - Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, João; Ravara, António (2024)