Home >>
CoqPL 2017
Sat 21 Jan 2017
co-located with POPL 2017

No Blog Posts Yet

Anyone with an active role within the website of CoqPL 2017 (e.g. authors, committee members) can start a blog. Want to write a blog but don't have an active role on the website yet? Please ask one of the organizers to request post privileges. Note that you need to be logged in, in order to post a blog.