GitHub repository: yallop/popl2015-papers
Description: Accepted papers for POPL 2015