Type-Safe Compilation of Dynamic Inheritance via Merging. - Sun, Yaozhu; Huang, Xuejing; Oliveira, Bruno C. D. S. (ACM Transactions on Programming Languages & Systems, 2025)