Preprints for the POPL'16 conference #1 Post by conceit » Wed, Jun 22, 2016, 8:29 AM UTC Preprints for the POPL'16 conferencegithub.com