| Scrap Your boilerplate with object algebras H Zhang, Z Chu, BCS Oliveira, T Storm Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 15 | 2015 |
| Classless java Y Wang, H Zhang, BCS Oliveira, M Servetto ACM SIGPLAN Notices 52 (3), 14-24, 2016 | 7 | 2016 |
| FHJ: A formal model for hierarchical dispatching and overriding Y Wang, H Zhang, BC Dos Santos Oliveira, M Servetto The 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 5 | 2018 |
| Type-safe modular parsing H Zhang, H Li, BCS Oliveira Proceedings of the 10th ACM SIGPLAN International Conference on Software …, 2017 | 2 | 2017 |
