TOPLAS

Transactions On Programming Languages And Systems publication