You are about to access our book library "Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings (Lecture Notes in Computer Science Book 12470) full version" .