PL feeds

PL
  AADEBUG
  Higher-Order and Symbolic Computation / Lisp and Symbolic Computation
  Scientific Annals of Computer Science [Cuza University]
  ACM Transactions on Programming Languages and Systems (TOPLAS)
  PPDP
  Static Analysis (WSA/SAS)
  ESOP
  OOPSLA
  PLDI
  POPL
  Workshop on Logic Programming Environments