Comments for The First International Workshop on Coq for PL Co-located with POPL in Mumbai, India on January 18, 2015 Wed, 10 Dec 2014 01:35:03 +0000 hourly 1 https://wordpress.org/?v=6.5.5