ACM Transactions on Programming Languages and Systems
Appearance
The ACM Transactions on Programming Languages and Systems (TOPLAS) is an academic journal in on programming languages published by the Association for Computing Machinery. The current editor-in-chief is Jens Palsberg.
The scope of TOPLAS includes programming language design, implementation and semantics, compilers and interpreters, runtime systems, storage allocation and garbage collection, and software specification, testing and verification.
It is regarded as the most important journal in the field, although conferences such as the Symposium on Principles of Programming Languages (POPL) and Programming Language Design and Implementation (PLDI) are seen as more prestigious venues in the field of computer science.