Yizhou Zhang
Yizhou Zhang
Harvard University & University of Waterloo
Verified email at seas.harvard.edu
TitleCited byYear
Lightweight, Flexible, Object-Oriented Generics
Y Zhang, MC Loring, G Salvaneschi, B Liskov, AC Myers
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
292015
Abstraction-Safe Effect Handlers via Tunneling
Y Zhang, AC Myers
Proceedings of the ACM on Programming Languages 3 (POPL), 5, 2019
82019
Accepting Blame for Safe Tunneled Exceptions
Y Zhang, G Salvaneschi, Q Beightol, B Liskov, AC Myers
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
72016
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Y Zhang, AC Myers
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 70, 2017
62017
Abstraction-Safe Effect Handlers via Tunneling: Technical Report
Y Zhang
22018
Accepting Blame: Expressive Checked Exceptions
Y Zhang, G Salvaneschi, Q Beightol, B Liskov, AC Myers
http://hdl.handle.net/1813/43784, 2016
22016
Unifying Interfaces, Type Classes, and Family Polymorphism
Y Zhang, AC Myers
12017
Genus: Making Generics Object-Oriented, Expressive, and Lightweight Technical Report
Y Zhang, MC Loring, G Salvaneschi, B Liskov, AC Myers
http://hdl.handle.net/1813/39910, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–8