TOPLAS

AcronymDefinition
TOPLASTransactions on Programming Languages and Systems
TOPLASTransactions on Programming Languages and Systems (ACM journal)