ACM Transactions on Programming Languages and Systems (original) (raw)
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery.