GitHub repository: 23Skidoo/popl13-papers-links
Description: An unofficial list of papers accepted to POPL 2013.