Structured handling of scoped effects Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers European Symposium on Programming, 462-491, 2022 | 11 | 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 |

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 |

Modular Models of Monoids with Operations Z Yang, N Wu Proceedings of the ACM on Programming Languages 7 (ICFP), 566-603, 2023 | 2 | 2023 |

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 | | |