Follow
Zhixuan Yang
Title
Cited by
Cited by
Year
Structured handling of scoped effects
Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers
European Symposium on Programming, 462-491, 2022
112022
Reasoning about effect interaction by fusion
Z Yang, N Wu
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
82021
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes
Z Yang, N Wu
International Conference on Mathematics of Program Construction, 222-267, 2022
32022
Optimize hierarchical softmax with word similarity knowledge
Z Yang, C Ruan, C Li, J Hu
Polibits 55, 11-16, 2017
32017
Modular Models of Monoids with Operations
Z Yang, N Wu
Proceedings of the ACM on Programming Languages 7 (ICFP), 566-603, 2023
22023
Algebraic Effects Meet Hoare Logic in Cubical Agda
DO Kidney, Z Yang, N Wu
Proceedings of the ACM on Programming Languages 8 (POPL), 1663-1695, 2024
2024
Structured Handling of Scoped Effects: Extended Version
Z Yang, M Paviotti, N Wu, B Berg, T Schrijvers
arXiv preprint arXiv:2201.10287, 2022
2022
Scoped Effects and Their Algebras
Z YANG, M PAVIOTTI, N WU, B VAN DEN BERG, TOM SCHRIJVERS
The system can't perform the operation now. Try again later.
Articles 1–8