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.