ACM Transactions on Programming Languages and Systems http://www.cs.wustl.edu/~toplas/ ---- CategoryJournal