Programming Languages and Systems 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Alex Potanin)（Z-Library）