Zhixuan Yang

According to our database, Zhixuan Yang authored at least 10 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Algebraic Effects Meet Hoare Logic in Cubical Agda.

Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu

Proc. ACM Program. Lang., January, 2024

Scoped Effects as Parameterized Algebraic Theories.

Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang

Proceedings of the Programming Languages and Systems, 2024

2023

Modular Models of Monoids with Operations.

Zhixuan Yang, Nicolas Wu

Proc. ACM Program. Lang., August, 2023

2022

Structured Handling of Scoped Effects: Extended Version.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

CoRR, 2022

Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.

Zhixuan Yang, Nicolas Wu

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Structured Handling of Scoped Effects.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2022

2021

Reasoning about effect interaction by fusion.

Zhixuan Yang, Nicolas Wu

Proc. ACM Program. Lang., 2021

2020

Retentive Lenses.

Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu

CoRR, 2020

2017

Optimize Hierarchical Softmax with Word Similarity Knowledge.

Zhixuan Yang, Chong Ruan, Caihua Li, Junfeng Hu

POLIBITS, 2017

2015

Politicize and Depoliticize: A Study of Semantic Shifts on People's Daily Fifty Years' Corpus via Distributed Word Representation Space.

Wenlong Mou, Ni Sun, Junhao Zhang, Zhixuan Yang, Junfeng Hu

Proceedings of the Chinese Lexical Semantics - 16th Workshop, 2015