ACM Transactions on Programming Languages and Systems (TOPLAS)

A conference, workshop or journal: the thing that recurs, across all its years.

The ACM's journal for programming languages and systems: semantics, type systems, compilation, program analysis and verification. Where a POPL or PLDI result goes when it is written up in full.

https://dl.acm.org/journal/toplas

1 reference