Yizhou Zhang
Yizhou Zhang
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
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
172019
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
112016
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
32018
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
Technical report, September, 2017
12017
Path Planning under Malicious Injections and Removals of Perceived Obstacles: a Probabilistic Programming Approach
J Banfi, Y Zhang, GE Suh, AC Myers, M Campbell
IEEE Robotics and Automation Letters, 2020
2020
Designing Flexible, Modular Linguistic Abstractions
Y Zhang
2019
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–10