POPl 2017 Liveblog Index
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:
- CPP - Jan 16 - homepage, issues
- CPP - Jan 17 - homepage, issues
- POPL main conference - Jan 18 - homepage, issues
- POPL main conference - Jan 19 - homepage, issues
- POPL main conference - Jan 20 - homepage, issues
- CoqPL - homepage, issues
Some useful resources:
- Data is a Git repo at https://github.com/ocamllabs/popl2017-blog; PRs welcome!
- POPL preprints: https://github.com/gasche/popl2017-papers
- Conference website: http://www.sigplan.org/Conferences/POPL
- It is served via an OCaml MirageOS unikernel running on Docker Cloud.
- The blog software is the Canopy system built by Enguerrand Decorne during an internship at OCaml Labs in Cambridge.
- The scripts for generating the Git templates are available here
- 15th Jan 2017: Repository setup -let-def