ACM Transactions on Programming Languages and Systems ACM Transactions on Programming Languages and Systems에 대해서 더 읽어 보세요.