Structured handling of scoped effects Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers European Symposium on Programming, 462-491, 2022 | 17 | 2022 |
Reasoning about effect interaction by fusion Z Yang, N Wu Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021 | 12 | 2021 |
Modular Models of Monoids with Operations Z Yang, N Wu Proceedings of the ACM on Programming Languages 7 (ICFP), 566-603, 2023 | 6 | 2023 |
Optimize hierarchical softmax with word similarity knowledge Z Yang, C Ruan, C Li, J Hu Polibits 55, 11-16, 2017 | 4 | 2017 |
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 |
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 | 2 | 2024 |
Structured Handling of Scoped Effects: Extended Version Z Yang, M Paviotti, N Wu, B Berg, T Schrijvers arXiv preprint arXiv:2201.10287, 2022 | 1 | 2022 |
STRUCTURE AND LANGUAGE OF HIGHER-ORDER ALGEBRAIC EFFECTS Z YANG Imperial College London, 2024 | | 2024 |
Revisiting the Logical Framework for Locally Cartesian Closed Categories Z Yang | | |
Scoped Effects and Their Algebras Z YANG, M PAVIOTTI, N WU, B VAN DEN BERG, TOM SCHRIJVERS | | |