1. Special Delivery: Programming with Mailbox Types;Proceedings of the ACM on Programming Languages;2023-08-30
2. A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust;ACM Transactions on Programming Languages and Systems;2021-03-31
3. A linear type system for multicore programming in ATS;Science of Computer Programming;2013-08
4. Notions of Aliasing and Ownership;Lecture Notes in Computer Science;2013
5. Static typing for a substructural lambda calculus;Frontiers of Computer Science in China;2011-07-07