Travelled to:1 × Canada
1 × The Netherlands
1 × USA
Collaborated with:B.C.d.S.Oliveira Y.Wang M.Servetto H.Li Z.Chu T.v.d.Storm
Talks about:classless (1) hierarch (1) dispatch (1) boilerpl (1) overrid (1) modular (1) algebra (1) object (1) formal (1) scrap (1)
Person: Haoyuan Zhang
DBLP: Zhang:Haoyuan
Contributed to:
2015
2016
2017
2018Wrote 4 papers:
- OOPSLA-2015-ZhangCOS #algebra #scrap your boilerplate
- Scrap your boilerplate with object algebras (HZ, ZC, BCdSO, TvdS), pp. 127–146.
- GPCE-2016-WangZOS #java
- Classless Java (YW, HZ, BCdSO, MS), pp. 14–24.
- SLE-2017-ZhangLO #composition #parsing #type safety
- Type-safe modular parsing (HZ, HL, BCdSO), pp. 2–13.
- ECOOP-2018-WangZOS #formal method #named
- FHJ: A Formal Model for Hierarchical Dispatching and Overriding (YW, HZ, BCdSO, MS), p. 30.