Introduction to the Special Issue on ESOP 2021 (ACM Transactions on Programming Languages and Systems, 2022)

(untitled) - Yoshida, N