POPl 2017 Liveblog Index

Written by Frédéric Bour
Published: 2017-01-17 (last updated: 2017-01-17)

Welcome to the unofficial POPL 2017 liveblog! This is a resource intended to capture attendees notes across the hundreds of talks that will be given at POPL 2017 in Paris, France. Any attendee of the conference is welcome to contribute their notes here, and we will aggregate them after the event into an archive.

The following events/days are being liveblogged:

Some useful resources:

Site Info:


  • 15th Jan 2017: Repository setup -let-def