CoqPL 2015

The CoqPL workshop provides an opportunity for programming languages researchers to meet and interact with one another and members from the core Coq development...