Follow
Haoyuan Zhang
Haoyuan Zhang
Verified email at cs.hku.hk
Title
Cited by
Cited by
Year
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
152015
Classless java
Y Wang, H Zhang, BCS Oliveira, M Servetto
ACM SIGPLAN Notices 52 (3), 14-24, 2016
62016
FHJ: A formal model for hierarchical dispatching and overriding
Y Wang, H Zhang, BCS Oliveira, M Servetto
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
52018
Type-safe modular parsing
H Zhang, H Li, BCS Oliveira
Proceedings of the 10th ACM SIGPLAN International Conference on Software …, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–4