ACM Transactions on Programming Languages and Systems
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a quarterly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery. It has been used as a model for teaching the peer review process to graduate students because of its "reputation as a top journal within the computer science community".
Source: Wikipedia — ACM Transactions on Programming Languages and Systems (CC BY-SA 4.0)