| Structured handling of scoped effects Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers European Symposium on Programming, 462-491, 2022 | 12 | 2022 |
| Reasoning about effect interaction by fusion Z Yang, N Wu Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021 | 8 | 2021 |
| Modular Models of Monoids with Operations Z Yang, N Wu Proceedings of the ACM on Programming Languages 7 (ICFP), 566-603, 2023 | 3 | 2023 |
| 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 | 3 | 2022 |
| Optimize hierarchical softmax with word similarity knowledge Z Yang, C Ruan, C Li, J Hu Polibits 55, 11-16, 2017 | 3 | 2017 |
| 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 | | |
