1. Genesis of the Early Indosinian Darongshan Granitoid in South China: Response to the Subduction of the Eastern Paleo-Tethys Ocean;Geofluids;2024-01-25
2. Sharing a Perspective on the -Calculus;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
3. Stateful Realizers for Nonstandard Analysis;Logical Methods in Computer Science;2023-04-25
4. Back to Direct Style: Typed and Tight;Proceedings of the ACM on Programming Languages;2023-04-06
5. Ideograph: A Language for Expressing and Manipulating Structured Data;Electronic Proceedings in Theoretical Computer Science;2023-04-01