Behavioural Up/down Casting For Statically Typed Languages

Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joao Mota, António Ravara,

URL	https://doi.org/10.4230/LIPIcs.ECOOP.2024.5
Book title	European Conference on Object-Oriented Programming (ECOOP 2024)

Publication